document.write (" 7830 ");