$_SESSION[PHPAUCTION_LOGGED_IN_USERNAME]"; ?>  
>
$OPERATION_DESCR[$k]"; } else { print $OPERATION_DESCR[$k]; } ?>