1 addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
2 addr=:($addrelem([,;+\-]$addrelem)*)
3