<?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 '<ul id="Submenue">
  <li>
    <a href="index.php?submenue=mail&amp;inhalt=mail"'; if (substr_count( $Inhalt, 'mail' )!='0') {echo ' class="selected"';} echo '>
      <img src="images/mail_mail.gif" alt="'.$L_Button11.'" />
        '.$L_Button11.'
    </a>
  </li>
</ul>';
?>