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

