document.write ('4212');