// JavaScript Document
//function chmenucolor(id, color){document.getElementById(id).style.backgroundColor=color}
//function chcolor(id){document.getElementById(id).style.backgroundColor="#000"}
function jumpto(url){window.location=url}

function jumptrailer(num){window.location=num}

//function chfilm(num){}

//function filmdata(){ alert(num_trailer); 
//			 switch (num_trailer) {
//			  case 1 : document.write(film_description_1); break;
//			  case 2 : document.write(film_description_2); break;
//			  case 3 : document.write(film_description_3); break;
//			  case 4 : document.write(film_description_4); break;
//			 }
	
//}