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