browser = 0;if (document.images) {browser = 1}

	if (browser) {
		ppath5 = "images/menu_5_en/"
		button5_prefix = "on_"
		button5_prefix_off = "off_"
		button5_num    = 7	
	button5_on     = new Array(button5_num)	
	button5_off    = new Array(button5_num)	

	for (i=1; i<=button5_num;i++){	
		setbutton5_on = ppath5 + button5_prefix + i + ".gif"
		setbutton5_off = ppath5 + button5_prefix_off + i + ".gif"
		button5_on[i] = new Image()
		button5_off[i] = new Image()
		button5_on[i].src = setbutton5_on
		button5_off[i].src = setbutton5_off
		}
	}  	

	function b5_on(n){
		if ((browser)&&(n==1)) document.but51.src = button5_on[n].src
		if ((browser)&&(n==2)) document.but52.src = button5_on[n].src
		if ((browser)&&(n==3)) document.but53.src = button5_on[n].src
		if ((browser)&&(n==4)) document.but54.src = button5_on[n].src
		if ((browser)&&(n==5)) document.but55.src = button5_on[n].src
		if ((browser)&&(n==6)) document.but56.src = button5_on[n].src
		if ((browser)&&(n==7)) document.but57.src = button5_on[n].src
	}        	

	function b5_off(n){
		if ((browser)&&(n==1)) document.but51.src = button5_off[n].src
		if ((browser)&&(n==2)) document.but52.src = button5_off[n].src
		if ((browser)&&(n==3)) document.but53.src = button5_off[n].src
		if ((browser)&&(n==4)) document.but54.src = button5_off[n].src
		if ((browser)&&(n==5)) document.but55.src = button5_off[n].src
		if ((browser)&&(n==6)) document.but56.src = button5_off[n].src
		if ((browser)&&(n==7)) document.but57.src = button5_off[n].src
	}