// var arrow= new Array();
// arrow[0] = "images/upred.gif";
// arrow[1] = "images/up.gif";


function SwapArrow(From, To)
{
	var i

	while (From.substr(0,1) == '.') From = From.substr(1);

	for (i=0;i<document.images.length;++i)
	{
		if (document.images[i].src.indexOf(From) > 0) 
		{
			if (window.location.href.indexOf('/akt_info/') >= 0) To = '../' + To;
			if (window.location.href.indexOf('/gewerbe/') >= 0) To = '../' + To;
			document.images[i].src = To;
		}
	}
}