/bin/kill -9 `ps -ax | egrep "xV(3|10)(serv|sess)" | awk '{printf("%d ", $1)}'`
