document.write (" 4825 ");