document.write (" 12418 ");