//CHANGE ELEMENT AND FUNCTION NAMES IN PAGES AND CSS

// BROWSERS-VIDEO
	// AJAX - Get remote doc and change el contents
function getDoc(el,url)	{
	if (window.XMLHttpRequest)
	  {xmlhttp=new XMLHttpRequest();}
	else
	  {xmlhttp=new ActiveXObject("Microsoft.XMLHTTP");}
	xmlhttp.open("GET",url,false);
	xmlhttp.send(null);
	document.getElementById(el).innerHTML=xmlhttp.responseText;
	}