document.write('800912');