document.write (" 9718 ");