$y = regextract($x, "[0-9]*")
