function changeUrl_d()
	{
	var url0String = window.location.pathname;
	var z = (url0String.length)-7;
	var wechsel0 = (url0String.substring(0,z) + "_d.html");
	window.location.href = wechsel0
	}
	
function changeUrl_e()
	{
	var url0String = window.location.pathname;
	var z = (url0String.length)-7;
	var wechsel0 = (url0String.substring(0,z) + "_e.html");
	window.location.href = wechsel0
	}