document.write('6941 ');