function zmien_jezyk (lang) {
	oldurl = location.href;

	index = oldurl.lastIndexOf("lang");
	if (index == -1) {
		document.location.href = "index.php5?lang="+lang;
		return false;
	}
	else {
		index = oldurl.lastIndexOf("lang=pl");
		if (index == -1) {
			index = oldurl.lastIndexOf("lang=en");
			if (index==-1) {
				document.location.href = oldurl; return false;
			}
		}
		newurl = oldurl.substring(0, index) + "lang=" + lang + oldurl.substring(index + "lang=pl".length, oldurl.length);
		document.location = newurl;	
		return false;
	}
}