function writeServerName() 								// Called by HM_Arrays to dynamically 
{ 														// populate the HM_Arrays' URL parameters
	var aspServerName;									// with the full URL path. This enables
	if (document.URL.indexOf("cornell.edu") != -1) {
		aspServerName = document.URL.replace(/cornell\.edu.+/ig, "cornell.edu"); // status bar in browser (lower left corner)
	} else {
		aspServerName = "http://www.ilr.cornell.edu";
	}
	if (document.URL.indexOf("google.com") != -1)
		{
			aspServerName = "http://www.ilr.cornell.edu";
		}	
	return(aspServerName);								// to show full URL, not just relative path.
}

function getStartPosition_Array1() {					// Called by HM_Arrays, left_position parameter.
	var objImg
	objImg = document.images['leftBar']
	// alert(objImg);
	if (HM_NS4){
		return eval(objImg).x
	} else {
		return getXPosition(objImg);
	}
}

function getStartPosition_Array2() {					// Called by HM_Arrays, left_position parameter.
	var objImg
	objImg = document.images['extensionBar']
	// alert(objImg);
	if (HM_NS4){
		return eval(objImg).x + 18
	} else {
		return eval(getXPosition(objImg) + 18);
	}
}

function getXPosition(imgElem) {						// Called by getStartPosition_Array1.
	xPos = eval(imgElem).offsetLeft;
	tempEl = eval(imgElem).offsetParent;
  	while (tempEl != null) {
  		xPos += tempEl.offsetLeft;
  		tempEl = tempEl.offsetParent;
  	}
	return xPos;
}

function getStartPositionY_Array1() {					// Called by HM_Arrays, left_position parameter.
	var objImg
	objImg = document.images['leftBar']
	// alert(objImg);
	if (HM_NS4){
		return eval(objImg).y + 12						// add 12 because the height of the "jumpto" image is 12
	} else {
		return getYPosition(objImg);
	}
}

function getStartPositionY_Array2() {					// Called by HM_Arrays, left_position parameter.
	var objImg
	objImg = document.images['extensionBar']
	// alert(objImg);
	if (HM_NS4){
		return eval(objImg).y + 12						// add 12 because the height of the "jumpto" image is 12
	} else {
		return getYPosition(objImg);
	}
}

function getYPosition(imgElem) {						// Called by getStartPosition_Array1.
	yPos = eval(imgElem).offsetTop;
	tempEl = eval(imgElem).offsetParent;
	while (tempEl != null) {
  		yPos += tempEl.offsetTop;
  		tempEl = tempEl.offsetParent;
  	}
	return yPos + 12;									// add 12 because the height of the "jumpto" image is 12
}