document.write('9942 ');