function ssh-proxy() {
   echo "Running ssh-proxy at local port: 9999"
   ssh -D 9999 -qCN $1
}