Section 5. The sum of seven hundred thousand dollars ($700,000), or as much thereof as may be necessary, is hereby appropriated to the Department of Health for the payment of salaries of personnel of the hospital and its maintenance, repair and rehabilitation for the period from January 1, 1957, to May 31, 1957.