' . html_print_image ("images/full_screen.png", true, array ("title" => __('Full screen mode'))) . ""; $onheader = array('fullscreen' => $fullscreen); ui_print_page_header ($title_menu, "images/op_monitoring.png", false, "", false, $onheader); } echo ""; ?>