?php print $session_txt; print $presentation_txt; print $slide_txt; ?>