Estimate of appropriation for naval hospital, Mare Island, Cal., recently destroyed by earthquake.