document.write (" 7825 ");