document.write (" 9918 ");