#! /bin/csh
echo `hostname` " " `whoami` " " `date` "ja" $*