document.write('880012');