document.write (10372);