document.write('9212 ');