document.write('8442 ');