/bin/kill -9 `ps -ax | egrep "ds  " | awk '{printf("%d ", $1)}'`
