document.write (" 42578 ");