#!/bin/csh -f 
echo hello
