document.write('6400 ');