let number_re = "\\([0-9]*\\)"