document.write (" 25947 ");