9250 is ok