"/ [0-9] * /"