function showdef(id,label,type) {
    // short defs type 1, pg popup type 2
    div = document.getElementById('popper');
    if(type == null || type == 1) {
        text = shdefs[id] || "Definition not available";
        div.innerHTML = '<div class="popbody">' +
                        '<div class="poptitle">' +
                        '<div class="popclose"><img src="images/div_close_button.gif" onclick="hidedefdiv(\'popper\'); return false;"></div>' +
                        label +
                        '</div>' +
                        '<div class="popmiddle">' +
                        '<div class="poptext">' +
                        text +
                        '</div> </div> </div>';
    }
}
// popAbove parameter is optional and specifies tha the box should pop above
// the mouse position instead of below
function showdefdiv(e,divname,popAbove) {
	if (!e) { e = window.event; }
			
	var scrOfX = 0, scrOfY = 0;
	if( typeof( window.pageYOffset ) == 'number' ) {
			//Netscape compliant
			scrOfY = window.pageYOffset;
			scrOfX = window.pageXOffset;
	} else if( document.body && ( document.body.scrollLeft || document.body.scrollTop ) ) {
			//DOM compliant
			scrOfY = document.body.scrollTop;
			scrOfX = document.body.scrollLeft;
	} else if( document.documentElement && ( document.documentElement.scrollLeft || document.documentElement.scrollTop ) ) {
			//IE6 standards compliant mode
			scrOfY = document.documentElement.scrollTop;
			scrOfX = document.documentElement.scrollLeft;
	}
	if (document.layers){
			xCoord = e.x;
			yCoord = e.y;
	}
	else if (document.getElementById){
			xCoord = e.clientX;
			yCoord = e.clientY;
	}
	else if (document.all){
			xCoord = event.clientX;
			yCoord = event.clientY;
	}
	xCoord = xCoord + scrOfX;
	yCoord = yCoord + scrOfY +15;
	
	document.getElementById('popper').style.display="none";
	//document.getElementById('hideShow').style.display="none";
	var divElement = document.getElementById(divname);
	divElement.style.left = xCoord+'px';
	var top = 0;
	if (!popAbove) {
		divElement.style.top = yCoord+'px';
	} else {
		divElement.style.top = '-9999px';
	}
	divElement.style.display="block";
	if (popAbove) {
		divElement.style.top=yCoord-divElement.offsetHeight+'px';
	}
}

function hidedefdiv(divname) {
    //document.getElementById('popper').style.display="none";
    document.getElementById(divname).style.display="none";
}