<?php
/*
    CREATIVE COMMONS - Attribution-No Derivative Works 3.0 Germany:
    - You may not alter, transform, or build upon this work.
    - Dieses Werk darf nicht bearbeitet oder in anderer Weise verändert werden.
*/
echo '<div id="SubMenu">
    <a href="index.php?submenu=user&amp;page=editCurrentUser"';
      if ($page=="editCurrentUser"
        OR $page=="editAttributes")
      {echo ' class="selected"';} echo '>
      <!--<img src="images/user_profil.gif" alt="'.$L_Button22.'" />-->
        '.$L_Button22.'
    </a>
</div>';
?>