function on(num)
{
	if (document["but"+num].filters) document["but"+num].filters[0].apply();
	document.images["but"+num].src=eval("menu"+num+"o.src");
	if (document["but"+num].filters) document["but"+num].filters[0].play();

}

function off(num)
{
	if (document["but"+num].filters) document["but"+num].filters[0].apply();
	document.images["but"+num].src=eval("menu"+num+".src");
	if (document["but"+num].filters) document["but"+num].filters[0].play();
}