document.write (" 6418 ");