document.write(' 6372 ');