document.write (" 18743 ");