Laramie county courthouse.