十字路口的交通信号灯每分钟红灯亮30秒，绿灯亮25秒，黄灯亮5秒。当你抬头看信号灯时，是绿灯的概率为( )。