document.write('8842 ');