document.write(' 8940 ');