function changeFont(size){	for(var i = 0 ; i < 3 ; i++){		var img = document.getElementById('fontImg'+i);		if(img){			img.style.borderWidth = (i==size) ? "1px" : "0px";		}	}	document.cookie = "MyFontSize=" + size + ";path=/";	size = (size==2) ? "20px" : (size==1) ? "15px" : "12px";	var container = document.getElementById('ResizableContent1');	if(container){		var a = new Array("td","a","p","li","div","em");		for(var i =0 ; i < a.length ; i++){			var col = container.getElementsByTagName(a[i]);			for(var x = 0 ; x < col.length ; x++){				col[x].style.fontSize = size;			}		}	}}/***************************************************************************************************submitQuickSearch*This function submits a search query and applies to the quick search input and button that*is present througout any site.**f - Object, Required, A handle to the form that contains the quick search input**************************************************************************************************/function submitQuickSearch(f){	if(f.quicksearchtext){ //make sure the input field exists		var query = f.quicksearchtext.value; //get the query text				//get the web path of this titanweb database		var intPath = document.location.href.toLowerCase().indexOf(".nsf") + 4;		var dbPath = (intPath == 3) ? urlpath_js : document.location.href.substring(0, intPath);				//open the search page		top.location.href = dbPath + Titanweb_SearchForm + "&Query=" + query + "&Count=50&Start=1";		return true;	}}//use this function to get all the characters in a string to the left of a given substring// (string is searched from left to right for substring)//OR get the first n characters of a string//PARAMETERS://v - a substring to get all the characters to the left of OR a number of characters to get//RETURNS://the substring resultString.prototype.left = function(v){	if(typeof v=="string"){		var x = this.indexOf(v);		return (x==-1) ? "" : this.substring(0,x);	}else if(typeof v=="number"){		return this.substring(0,v);	}	return "";};//use this function to get all the characters in a string to the left of a given substring//the string is searched from right to left for the substring//PARAMETERS://v - a substring to get all the characters to the left of//RETURNS://the substring resultString.prototype.leftBack = function(s){	if(typeof s=="string"){		var x = this.lastIndexOf(s);		return (x==-1) ? "" : this.substring(0,x);	}	return "";};//use this function to get all the characters in a string to the right of a given substring// (string is searched from left to right for substring)//OR get the last n characters of a string//PARAMETERS://v - a substring to get all the characters to the right of OR a number of characters to get//RETURNS://the substring resultString.prototype.right = function(v){	if(typeof v=="string"){		var x = this.indexOf(v);		return (x==-1) ? "" : this.substring(x+v.length,this.length);	}else if(typeof v=="number"){		return this.substring(Math.max(0,this.length-v),this.length);	}	return "";};//use this function to get all the characters in a string to the right of a given substring//the string is searched from right to left for the substring//PARAMETERS://v - a substring to get all the characters to the right of//RETURNS://the substring resultString.prototype.rightBack = function(s){	if(typeof s=="string"){		var x = this.lastIndexOf(s);		return (x==-1) ? "" : this.substring(x+s.length,this.length);	}	return "";};