document.write('8112 ');