document.write('710012');