// Function for the right menu

if (document.images)
{
	// ---------- Button -----------
	Button1_On = new Image();	Button1_On.src = "../../s_button1a.gif";
	Button1_Off = new Image();	Button1_Off.src = "../../s_button1.gif";

	Button2_On = new Image();	Button2_On.src = "../../s_button2a.gif";
	Button2_Off = new Image();	Button2_Off.src = "../../s_button2.gif";

	Button3_On = new Image();	Button3_On.src = "../../s_button3a.gif";
	Button3_Off = new Image();	Button3_Off.src = "../../s_button3.gif";

	Button4_On = new Image();	Button4_On.src = "../../s_button4a.gif";
	Button4_Off = new Image();	Button4_Off.src = "../../s_button4.gif";

	Button5_On = new Image();	Button5_On.src = "../../s_button5a.gif";
	Button5_Off = new Image();	Button5_Off.src = "../../s_button5.gif";

	Button7_On = new Image();	Button7_On.src = "../../s_button7a.gif";
	Button7_Off = new Image();	Button7_Off.src = "../../s_button7.gif";
}	

function Set_Image (image,state)
{
        if (document.images)
       		if (state=="ON") { eval("document [\'" + image + "\'].src = " + image + "_On.src"); }
	else { eval("document [\'" + image + "\'].src = " + image + "_Off.src"); }
}

