#! /bin/csh 
setenv PID $$
/usr/local/bin/xtckt