// JavaScript Document
function musica(estado)
{
	if (estado)
	{
		dest="off";	
	}
	else
	{
		dest="on";	
	}
	pos=document.location.href.lastIndexOf(".php");
	if (pos==-1)
	{
		loc="index.php";
	}
	else
	{
		loc=document.location.href.substr(0, pos+4);
	}
	document.location.href=loc + "?musica=" + dest;	
}