// functions file

function change_language()
{
    document.languages.submit();
}