document.write('005231');