document.write ('4922');