function getElement(elementID)
	{
    if (document.getElementById)
         return(document.getElementById(elementID));
    else if (document.layers)
        return(document.layers[elementID]);
    else if (document.all)
         return(document.all[elementID]);
	}


function switchLang(from) {
	var winloc, newloc;
	winloc = window.location.href;
	if (from == 'english') {
		newloc = winloc.replace(/english/g, 'francais');
	}
	else
	{
		newloc = winloc.replace(/francais/g, 'english');
	}
	window.location = newloc;
	return(false);
}