document.write (" 7918 ");