document.write('00712');