document.write (" 42418 ");