document.write('800012');