document.write(' 13940 ');