document.write (" 10612 ");