document.write(' 10947 ');