// function to set the language
function setLanguage( lang ) {
    var expires = new Date();
    expires.setDate(expires.getDate() + 100);
    document.cookie = "art_language=" + lang + "; "
                    + "expires=" + expires.toGMTString() + "; "
                    + "path=/; ";
    window.location.reload( true );
}