document.write(' 6400 ');