document.write ('4112');