. . . "The building houses the FBI, the Internal Revenue Service and other agencies." . .