有一字符串 “71.5.32.10:80 HTTP 313,735,735 美国 田纳西州”,我需要提取“HTTP”前面的数字,不知该如果处理(也可以说是删除包括HTTP在内后面的数字,或是保留HTTP之前的数字)。请教老师,请老师注意的是“HTTP”前面的数字是不定的,也可能多几位,也可能少几位。