^ ( (1{1}|1{5}|1{7}) (?{ $^R+1 }) )* 
   (?(?{ $^R < $x }) $ | x )