/* relinker d/e */

function BaseJump_fd() {
		location.href = "/de/" + location.pathname.substring(4, 100);
}
function BaseJump_df() {
		location.href = "/fr/" + location.pathname.substring(4, 100);
}