function discountpanel() {
    if (document.getElementById("discountpaneldiesel") != null) {
	    if (document.getElementById("discountpaneldiesel").style.display=="block") {
	    document.getElementById("discountpaneldiesel").style.display="none";
	    document.getElementById("discountpaneleuro95").style.display="block";
	    } else {
	    document.getElementById("discountpaneldiesel").style.display="block";
	    document.getElementById("discountpaneleuro95").style.display="none";
	    }
	    window.clearTimeout("discountpanel()")
	    setTimeout("discountpanel()",4000);
    }
}

//
//	Menu deroulant
//

var menuids=["menu"];

function buildsubmenus_horizontal(){

	if (document.getElementById(menuids)) {

		for (var i=0; i<menuids.length; i++){
		
			var ultags=document.getElementById(menuids[i]).getElementsByTagName("ul");
			var imgtags=document.getElementById(menuids[i]).getElementsByTagName("img");
		
			for (var t=0; t<ultags.length; t++){
			
				ultags[t].parentNode.onmouseover=function(){
					for (var j=0; j<ultags.length; j++){
						document.getElementById("menu").getElementsByTagName("ul")[j].style.visibility="hidden";
					}
					this.getElementsByTagName("ul")[0].style.visibility="visible";
				}
				ultags[t].onmouseout=function(){
					for (var j=0; j<ultags.length; j++){
						document.getElementById("menu").getElementsByTagName("ul")[j].style.visibility="hidden";
					}
				}
			}
		}
	}
}

if (window.addEventListener) {
window.addEventListener("load", buildsubmenus_horizontal, false)
window.addEventListener("load", discountpanel, false)
}
else if (window.attachEvent) {
window.attachEvent("onload", buildsubmenus_horizontal)
window.attachEvent("onload", discountpanel)
}
window.onresize = function(){
	buildsubmenus_horizontal();
}

// Added by Lieven - 18/09/2009
function isInteger(s) {
    var i;

    if (isEmpty(s))
        if (isInteger.arguments.length == 1) return 0;
    else return (isInteger.arguments[1] == true);

    for (i = 0; i < s.length; i++) {
        var c = s.charAt(i);

        if (!isDigit(c)) return false;
    }

    return true;
}

function isEmpty(s) {
    return ((s == null) || (s.length == 0))
}

function isDigit(c) {
    return ((c >= "0") && (c <= "9"))
}