// Video-player in header. 

function play(id, title, description, url, permalink, thumbnail) {
	document.getElementById('titleHolder').innerHTML = title;
	document.getElementById('descHolder').innerHTML = description;
	document.getElementById('linkHolder').href = permalink;
	
	var so = new SWFObject(mediaPlayer, id, "434", "241", "7", "#FFFFFF");
	so.addVariable("file", url);
	so.addVariable("image", thumbnail);
	so.addVariable("id", id);
	so.addVariable("width", "434");
	so.addVariable("height", "241");
	so.addVariable("overstretch", "true");
	so.addVariable("showdigits", "true");
	so.addVariable("showfsbutton", "true");
	so.addVariable("backcolor", "0xFFFFFF");
	so.addVariable("frontcolor", "0x000000");
	so.addVariable("lightcolor", "0x000000");
	so.addVariable("volume", "100");
	so.addVariable("autostart", "true");
	so.addVariable("bufferlength", "5");
	so.addParam("allowfullscreen", "true");
	so.write("videoHolder");

}