document.write (" 9973 ");