document.write (" 13947 ");