School District no. 42 (Boulder County, Colo.).