#! /bin/tcsh -f