// JavaScript Document

/**
 * Returns the file.html string 
 */
function getHtml(){
	var url = document.URL
	var name = url.substring(url.lastIndexOf('/')+1 , url.length);
	return name;
}