/known string([1-6]?\d|7[0-5])another known string/