function pagename(full_url) {  
	var url_array = full_url.split("/");
	var doc_title = url_array[url_array.length-1];
	doc_title = doc_title.substring(0, doc_title.length-4).toLowerCase();
	
	doc_title = doc_title.substring(0, 1).toUpperCase() + doc_title.substring(1, doc_title.length);

	while (doc_title.indexOf("_") > -1)
	{
		doc_title = doc_title.substring(0, doc_title.indexOf("_")) + " " + doc_title.substring(doc_title.indexOf("_")+1, doc_title.indexOf("_")+2).toUpperCase() +  doc_title.substring(doc_title.indexOf("_")+2, doc_title.length);
	}
	document.title=doc_title;
	window.status=doc_title;
	return(doc_title);}