document.write (6372);