document.write(' 10412 ');