[timeout:300][out:json];
(
node(around:1000,40.76060,-86.07280)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i];
way(around:1000,40.76060,-86.07280)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,40.76060,-86.07280)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i];
node(around:1000,40.76060,-86.07280)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i];
way(around:1000,40.76060,-86.07280)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,40.76060,-86.07280)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i];
node(around:1000,40.76060,-86.07280)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i];
way(around:1000,40.76060,-86.07280)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,40.76060,-86.07280)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i];
node(around:1000,40.76060,-86.07280)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i];
way(around:1000,40.76060,-86.07280)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,40.76060,-86.07280)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,40.76060,-86.07280)[site=school][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,40.76060,-86.07280)[type=site][~"^(addr:housenumber|.*name.*)$"~".",i];
);
out center tags;
Peru High School, also known as "PHS", is a high school located in Peru, Indiana, United States, serving students in grades 9–12 for Peru Community Schools since 1972. The former high school building, built in 1939 and now serving as headquarters of the Miami Nation of Indiana, is included in the Peru High School Historic District listed on the National Register of Historic Places since 2013. In 2023, Peru High School and Peru Jr. High School merged together and became Peru Junior/Senior High School, also known as "PJSHS." Peru High School is now catered to children ranging from 7th-12th grade.
found a single match candidate
| school (Q3914) | education=school, amenity=school |