'; if ($view!='simple') { echo '

'; echo contact_links(); echo '

'; echo 'webtrees'; echo '

'; if ($WT_TREE && $WT_TREE->getPreference('SHOW_STATS')) { echo execution_stats(); } echo '

'; }