<?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=mail&amp;page=mail"';
    if ($page=="mail")
    {echo ' class="selected"';} echo '>
      <!--<img src="images/mail_mail.gif" alt="'.$L_Button11.'" />-->
        '.$L_Button11.'
    </a>
</div>';
?>