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+)
|