document.write('4940 ');