function display_active_image(image_name)
	{
	if(document.images)
		document[image_name].src = eval(image_name + "_active.src");
	}

function display_inactive_image(image_name)
	{
	if(document.images)
		document[image_name].src = eval(image_name + "_inactive.src");
	}
function elim_border(x)
	{
    if (navigator.appName == 'Microsoft Internet Explorer')
        x.blur();
	}
function newWindow(url, windowName, width, height)
	{
    var win=window.open(url, windowName, "toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=no,copyhistory=yes,width=" + width + ",height=" + height); 
	win.moveTo(1,1);
	win.focus();
	}
function toggle_image (imageObj)
	{
	if(imageObj.height == 200)
		{
		imageObj.width = imageObj.fullWidth;
		imageObj.height = imageObj.fullHeight;
		}
	else		
		{
		imageObj.height = 200;
	 	imageObj.width = ( imageObj.height / imageObj.fullHeight ) * imageObj.fullWidth;
		}
	}
	
function make_thumbnails ()
	{
	var i, s;
	
	// It appears that the width parameter does not get loaded into the DOM until after the complete document is loaded, not just the individual image.
	for( i = 0; i < document.images.length; i++)
		{
		s = document.images[i].src;
		if(s.search("xyz") > 0)
			{
			document.images[i].fullWidth = document.images[i].width;
			document.images[i].fullHeight = document.images[i].height;
	
			document.images[i].height = 200;
			document.images[i].width = ( document.images[i].height / document.images[i].fullHeight ) * 							document.images[i].fullWidth;
			}
		}
	}