[timeout:300][out:json]; ( node(around:1000,28.31774,-80.63049)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,28.31774,-80.63049)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,28.31774,-80.63049)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,28.31774,-80.63049)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,28.31774,-80.63049)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,28.31774,-80.63049)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,28.31774,-80.63049)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,28.31774,-80.63049)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,28.31774,-80.63049)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,28.31774,-80.63049)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,28.31774,-80.63049)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,28.31774,-80.63049)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,28.31774,-80.63049)[site=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,28.31774,-80.63049)[type=site][~"^(addr:housenumber|.*name.*)$"~".",i]; ); out center tags;
Cocoa Beach Jr./Sr. High School (formerly Cocoa Beach High School) is a public junior/senior high school that is a part of the Brevard County Public School System with students in grades seven through twelfth located in Cocoa Beach, Florida. Founded in 1964 it is one of two high schools in Brevard county to offer the International Baccalaureate Diploma Programme. The school's mascot is the Minuteman and current principal is Tim Powers.
found a single match candidate
school (Q3914) | amenity=school |