document.write (" 18742 ");