function video() {
	var ns6 = document.getElementById && !document.all;
	var ie = document.all;

	if (navigator.platform == "Win32" || navigator.platform == "Win64"){
		change('video2','setCSS','display','inline');	
		document.getElementById('videosprime').controls.play();
		
	} else if (ie) {
		change('video2','setCSS','display','inline');	
		document.getElementById('videosprime').controls.play();
		

	} else if (ns6) {
		change('video3','setCSS','display','inline');			
	}
}