
1 gDD Aug 25, 2014 ^[0-9]{8}910 |
2 feiyuanqiu Aug 25, 2014 js: /\d{8}(\d+)/g.exec('12345678910'); php: if (preg_match('/(?<=\d{8})(\d*)/', '12345678910', $match)) { var_dump($match); } |
3 pakto Aug 25, 2014 (?:\d{8})(\d*) |
4 rrfeng Aug 25, 2014 \d{9}(\d+) |