document.write(' 4940 ');