<?php echo __('Dashboard');?>

<?php echo __('Agents');?>

<?php echo __('Monitor');?>

<?php echo __('Events');?>

<?php echo __('Alerts');?>

<?php echo __('Groups');?>

<?php echo __('Servers');?>

<?php echo __('Logout');?>

'; echo __('Generated at') . ' '. ui_print_timestamp ($time, true, array ("prominent" => "timestamp")); ?>