すまん
正確には
&#12774[4-9]|1277[5-9][0-9]|127[8-9][0-9]{2}|128[0-9]{3}|129[0-4][0-9]{2}|1295[0-2][0-9]|12953[0-5];
だな