function changelinecolor(id, nb_line, sec) {


var i;
	document.getElementById(id).style.background = 'lightblue';
	for (i = 1; document.getElementById("player_line_"+i); i++)
	{
		if ("player_line_"+i != id)
			document.getElementById("player_line_"+i).style.background = (i % 2 == 0 && i != 0 ? "white" : "#dfdede");
			//document.location.href="player_new.php?song=" +i;
			
			

	}

var song=id;
song=id.substr(12);
var j=parseInt(song);
document.location.href="player.php?section="+sec+"&song="+j;

		
}

	

function changepointer_hand(id) {
	document.getElementById(id).style.cursor = "pointer";
}