document.write("4940 ");