document.write (" 9707 ");