function insertContentSafari(sourceDiv, targetDiv) {	/* ARGUEMENT EXPLANATION:sourceDiv: the id of the containing DIV on the source page that has the info you want to pulltargetDiv: an optional arguement specifying the name of the DIV that will contain the pulled content	       If this arguement is left out, it will be assumed that the source and destination DIVs have 		   the same id although it is recommended that you give them different names.  This is because 		   the source page itself might have a menu that is pulled from itself and then the two DIV 		   id's will conflict and thats no good! 		   */	//lines 17 - 46 are widely used by many HTTPRequest scripts, so if there is a bug in the code it likely exists outside of this area	var xmlhttp=false;	/*@cc_on @*/	/*@if (@_jscript_version >= 5)	// JScript gives us Conditional compilation, we can cope with old IE versions.	// and security blocked creation of the objects (IE6 SP2 I believe)	 try {	  xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");	 } catch (e) {	  try {	   xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");	  } catch (E) {	   xmlhttp = false;	  }	 }	@end @*/	//do not concern yourself with these lines of code	if (!xmlhttp && typeof XMLHttpRequest!='undefined') {		try {			xmlhttp = new XMLHttpRequest();		} catch (e) {			xmlhttp=false;		}	}	if (!xmlhttp && window.createRequest) {		try {			xmlhttp = window.createRequest();		} catch (e) {			xmlhttp=false;		}	}		//first lets get the location object later we use the pathname method to save a regex match into a variable	var loc = window.location;	//regex to extract the page category (auto, about, news, etc) the underscores are saved in array indexes that will just be ignored	locSearch = 'SSS(_)([^_]*)(_)';	var myRE = new RegExp( locSearch );	var source = loc.pathname.match( myRE ); //make it easier to reference if necessary	source = source[2];	 //NOTE: source returns a good value for IE, Moz, and Safari even			//depending on what is extracted from loc.pathname, assign page one of the sub-parent pages	if (source == "servRes")		var page = "SSS_servRes_home.htm";	else if (source == "news")		var page = "SSS_news_home.htm";	else if (source == "savInv")		var page = "SSS_savInv_home.htm";	else if (source == "about")		var page = "SSS_about_home.htm";	else if (source == "auto")		var page = "SSS_auto_home.htm";	else if (source == "loans")		var page = "SSS_loans_home.htm";	else if (source == "checking")		var page = "SSS_checking_home.htm";	else if (source == "mem")		var page = "SSS_mem_home.htm";	else if (source == "homeLoans")		var page = "SSS_homeLoans_home.htm";			xmlhttp.open("GET", page , true ); //open the source page	xmlhttp.onreadystatechange=function() {				if (xmlhttp.readyState==4) { //readyState 4 occurs after the page has been loaded						var searchString = xmlhttp.responseText; //get the contents of the entire called page into a string 									/*the replace() method alone will not replace all instances of new lines in javascript (stupid)					so we gotta use a regex inside replace() to get them all out of there (don't think javascript supports the ability to read a multiline string 			in single line mode (again, it is stupid if this is true) */																		 			searchString = searchString.replace( new RegExp( /\n/g), " " ); 						var lookFor = '<div id="' + sourceDiv + '">.*?</div>'; //specify that we want this particular div taken out of searchString						var regExp = new RegExp( lookFor );			var result = searchString.match( regExp );			result = result[0];	 //match() returns an array so assign the first match to result																	result = result.substr(0,(result.length-6)); //cut off the closing DIV tag which is 6 characters long			//specify the exact string for the opening DIV tag so it can be removed from the string			var headChop = '<div id="' + sourceDiv + '">';									result = result.replace(headChop, ""); //remove opening div tag															if (targetDiv)				var destDiv = document.getElementById( targetDiv );				else				var destDiv = document.getElementById( sourceDiv );			if (!destDiv) 				alert('there was an error loading the menu. please contact the site administrator');			else				destDiv.innerHTML = result;													}	}	xmlhttp.send(null);}