while () { print $LOGFILE "$_"; }