document.write('000712');