document.write('000718');