document.write('9442 ');