function loadLangs() {
	var links = $$('ul#lang-int a');
	if (links.length > 0) {
		var currentPath = document.location.pathname.split("/");
		var pageLang = currentPath[currentPath.length - 3];
		links.each( function(link) {
				if (link.id == pageLang) {
					link.addClassName("thislang");
				}
				else {
					Event.observe(link, "click", function(ev) {
							document.location.href = document.location.href.replace(pageLang, Event.element(ev).id);
						}
					);
				}
			}
		);
	}
}

Event.observe(window, "load", fixlineheight);
Event.observe(window, "load", loadLangs);