function switchimage(img, lang) {
	if (document.images) {
		var imgpath = eval(img).src;
		var result = imgpath.search(/_f2.+/);
		if (result != -1) {
			eval(img).src = "/img/nav/" + lang + "_" + img + ".gif";
		}	else {
			eval(img).src = "/img/nav/" + lang + "_" + img + "_f2.gif";
		}
	}
}