Evaluated proc ungape_html str { regexp -all -inline {&(\d)+;} $str }