document.write(' 7940 ');