function changeVideo(s)
{
	player = document.getElementById("mediaPlayer");
	player.filename = s;
	player.data     = s;
	player.play();
	return true;
}