document.write (" 5418 ");