'.$_local->gui->home.''; } else{ echo "{$_local->gui->home}"; } ?>
'.$_local->gui->translation.''; } else{ echo ''.$_local->gui->translation.''; } ?>
'.$_local->gui->lesson.''; } else{ echo ''.$_local->gui->lesson.''; } ?>
'.$_local->gui->EXP.''; } else{ echo ''.$_local->gui->EXP.''; } } ?>