document.write ('4293');