document.write (" 18372 ");