document.write (" 10372 ");