document.write ('4232');