| // +--------------------------------------------------------------------+ // // $Id: default-menu-footer.php 5 2003-02-01 22:41:25Z luca $ // /** * Draws the menu header. */ ?>