function mouseOver(source)
{
	document.getElementById(source).style.color = '#FFFFFF';
}

function mouseOut(source)
{
	document.getElementById(source).style.color = '#BDBDBD';
}

function edit_page(source, name)
{
	window.location = "editor.php?titre="+ name +"&page=" + source;
}

function showSlide(name)
{
  window.location = "diaporama.php?page=" + name;
}