document.write('010231');