document.write (" 9708 ");