function play(soubor)
	{
	document.getElementById('video').src=soubor;
	}