browser = 0;if (document.images) {browser = 1}
 
	if (browser) { 
		ppath = "images/menu_3_en/" 
		button_prefix = "on_" 
		button_prefix_off = "off_" 
		button_num    = 3 
		button_on     = new Array(button_num) 
		button_off    = new Array(button_num) 
		for (i=1; i<=button_num;i++){ 
			setbutton_on = ppath + button_prefix + i + ".gif" 
			setbutton_off = ppath + button_prefix_off + i + ".gif" 
			button_on[i] = new Image() 
			button_off[i] = new Image() 
			button_on[i].src = setbutton_on 
			button_off[i].src = setbutton_off 
		} 
	} 
  
 	function b_on(n){
 
			if ((browser)&&(n==1)) document.but1.src = button_on[n].src 
			if ((browser)&&(n==2)) document.but2.src = button_on[n].src 
			if ((browser)&&(n==3)) document.but3.src = button_on[n].src 
	} 
         
	function b_off(n){ 
		if ((browser)&&(n==1)) document.but1.src = button_off[n].src 
		if ((browser)&&(n==2)) document.but2.src = button_off[n].src 
		if ((browser)&&(n==3)) document.but3.src = button_off[n].src 
	}