You shuld be able to use $remove() to, if you remove ( [ : from the text, then you end up with the numbers

$gettok() is also a way to do it.