Four employees of the Pasadena Public Library