| // +--------------------------------------------------------------------+ // // $Id$ // /** * Draws the menu header. */ ?>