$HTTP_SESSION_VARS[PHPAUCTION_LOGGED_IN_USERNAME]"; ?>  
>
$std_font$OPERATION_DESCR[$k]"; } else { print $std_font.$OPERATION_DESCR[$k]; } ?>