function playVideo(url)
{
	var flash = document.getElementById("videoPlayer");
	var flashreturn = flash.changeVideo(url);
}