document.write(' 10939 ');