source: admin/WebConsole/idiomas/php/eng/barramenu_eng.php

<?php
//________________________________________________________________________________________________________
//
//      Php language file:: barramenu_eng.php
//      Language: English
//________________________________________________________________________________________________________
        $TbMsg=array();
        $TbMsg[0]='Labs';
        $TbMsg[1]='Actions';
        $TbMsg[2]='Images';
        $TbMsg[3]='Hardware';
        $TbMsg[4]='Software';
        $TbMsg[5]='Servers';
        $TbMsg[6]='Menus';
        $TbMsg[7]='Reservations';
        $TbMsg[8]='Administration';
        $TbMsg[9]='Icons';
        $TbMsg[10]='Exit';
        $TbMsg[11]='Help';
        $TbMsg[12]='Administrators';
        $TbMsg[14]='Search';
        $TbMsg[15]='Advanced Netboot';
        $TbMsg[16]='Organizational Unit';
        $TbMsg[17]='Calendar';