document.write ('4242');