document.write('41012 ');