那是。还有“高小”，高级小学。那时候高小毕业，已经很厉害了。