document.write ('4243');