document.write(' 10422 ');