. . "al statute or Executive order, or any day on which the Departments and establishments of the Government are closed by Executive order, they shall receive the same pay for such days as for other days on which an ordinary day's work is performed." . .