document.write ('4142');