php 正则判断是否是手机号码

$phonenumber = '13712345678';  
if(preg_match("/^(13[0-9]|14[5|7]|15[0|1|2|3|5|6|7|8|9]|17[0-9]|18[0|1|2|3|5|6|7|8|9])\d{8}$/",$phonenumber)){  
    echo "是手机号码";  
}else{  
    echo "不是手机号码";