document.write (6371);