// JavaScript Document


// GENERIC

function changeLanguage(language)
{
	var url = document.URL;
	url = url.replace(/\\/g, '/');
	url = url.slice(url.lastIndexOf('/') + 1);
	url = '../' + language + '/' + url;
	window.location = url;
	return false;
}