document.write('001088');