document.write (42725);