#!/bin/csh setenv WNHOME /usr