document.write(' 4800 ');