NODEB基站使用的GPS天线的频率范围是（）MHz。