document.write(' 6240 ');