document.write('001012');