document.write (" 8947 ");