document.write ('6232');