includeJsFile("/Scripts/Functions.js");
includeJsFile("/Scripts/MenuImages.js");
includeJsFile("/Scripts/ChangeFontSize.js");
includeJsFile("/Scripts/HighLightSearchText.js");

function includeJsFile(fileName){
var scriptElement  = document.createElement("SCRIPT");

	scriptElement.src   = fileName;
	scriptElement.type  = "text/javascript";
	document.getElementsByTagName("head").item(0).appendChild(scriptElement);
}