document.write('9422 ');