document.write (42494);