echo "$XXX" | sed -e 's/;arg=.*$//' -e 's!^.*/!!'