echo "$0 PID= $$"