// JavaScript Document

function showhide(video1,video2,video3)
{
	document.getElementById(video1).style.display='block';
	document.getElementById(video2).style.display='none';
	document.getElementById(video3).style.display='none';
}


function highlightlink(link1,link2,link3)
{
	document.getElementById(link1).className='videolinkhighlight';
	document.getElementById(link2).className='videolinknormal';
	document.getElementById(link3).className='videolinknormal';
}