document.write('8212 ');