document.write (" 18542 ");