document.write ('4241');