#! /bin/csh