"the Robert S. Lee High School."