fileaddr 88 B

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