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_s()
					{
					var url0String = window.location.pathname;
					var z = (url0String.length)-7;
					var wechsel0 = (url0String.substring(0,z) + "_s.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
					}