enablestats)) { echo '

'; echo ''.get_string('stats').''; echo '

'; } else { echo '

'; echo get_string('statsoff'); echo '

'; } } ?>