document.write('7942 ');