function Log { message="${*}" if [ "$LOGFIL" != "" ] then echo `date` $message >> $LOGFIL fi }