document.write('912200');