enablestats)) { echo '

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

'; } ?>