. . "A public building is a building used" . .