document.write('801012');