document.write (" 9930 ");