document.write (" 9702 ");