function stop_music(){
	document.cookie="do_magic=false;";
}

function start_music(){
	document.cookie="do_magic=true;";
}