document.write (" 6400 ");