. . . . "Government building completed in 1758" .