if (preg_match("/^1[34578]d{9}$/", $tel) == 0) {

die("<script>alert('手机号格式错误!');history.go(-1);</script>");

}