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