document.write(' 10612 ');