A building of the pleasant grove middle school