document.write (" 9480 ");