document.write(' 4880 ');