document.write ('4231');