document.write('7934 ');