win_prev1 = new Image(24,19);
win_prev1.src = "graphics/but_prev_win_on.gif";
win_prev0 = new Image(28,19);
win_prev0.src = "graphics/but_prev_win_off.gif";

win_next1 = new Image(24,19);
win_next1.src = "graphics/but_next_win_on.gif";
win_next0 = new Image(28,19);
win_next0.src = "graphics/but_next_win_off.gif";

win_close1 = new Image(28,19);
win_close1.src = "graphics/but_close_win_on.gif";
win_close0 = new Image(28,19);
win_close0.src = "graphics/but_close_win_off.gif";

win_dload1 = new Image(28,27);
win_dload1.src = "graphics/but_dload_win_on.gif";
win_dload0 = new Image(28,27);
win_dload0.src = "graphics/but_dload_win_off.gif";

sticky1 = new Image(153,88);
sticky1.src = "graphics/sticky_on.gif";
sticky0 = new Image(153,88);
sticky0.src = "graphics/sticky_off.gif";

pen_lg1 = new Image(221,328);
pen_lg1.src = "graphics/but_pen_lg_on.gif";
pen_lg0 = new Image(221,38);
pen_lg0.src = "graphics/but_pen_lg_off.gif";

brush_lg1 = new Image(258,34);
brush_lg1.src = "graphics/but_brush_lg_on.gif";
brush_lg0 = new Image(258,34);
brush_lg0.src = "graphics/but_brush_lg_off.gif";

gui1 = new Image(56,32);
gui1.src = "graphics/but_gui_on.gif";
gui0 = new Image(56,32);
gui0.src = "graphics/but_gui_off.gif";

graphicdes1 = new Image(160,32);
graphicdes1.src = "graphics/but_graphicdes_on.gif";
graphicdes0 = new Image(160,32);
graphicdes0.src = "graphics/but_graphicdes_off.gif";

docs1 = new Image(64,32);
docs1.src = "graphics/but_docs_on.gif";
docs0 = new Image(64,32);
docs0.src = "graphics/but_docs_off.gif";

illus1 = new Image(138,32);
illus1.src = "graphics/but_illus_on.gif";
illus0 = new Image(138,32);
illus0.src = "graphics/but_illus_off.gif";

prev1 = new Image(45,34);
prev1.src = "graphics/but_prev_on.gif";
prev0 = new Image(45,34);
prev0.src = "graphics/but_prev_off.gif";

next1 = new Image(45,34);
next1.src = "graphics/but_next_on.gif";
next0 = new Image(45,34);
next0.src = "graphics/but_next_off.gif";

pen_sm1 = new Image(184,34);
pen_sm1.src = "graphics/but_pen_sm_on.gif";
pen_sm0 = new Image(184,34);
pen_sm0.src = "graphics/but_pen_sm_off.gif";

function rollover(Name,Image,No) {
        document [Name].src = eval(Image + No + ".src");
}

function back(){
  if (location.hash == '#top'){
    history.go(-2)}
  else {
    history.back()
  }
}

function popUp(URL,win_width,win_height)
{
	// Set variable to store vertical space already in use in GUI... 
	//var graphics_height=300 // Num. of vertical pixels used for existing graphics, HTML, etc.
	//var avail_width
	//var avail_height
	//var full_height
	//var full_width

	// Calculate the left-over space in which we can show applets...
	if (navigator.appName == 'Netscape')
	{
		//full_width = (screen.width - 8)
		//full_height = (screen.height)
		//avail_width = full_width
		//avail_height = (full_height - graphics_height)
	}

	else // ...or for other browser (assumedly Internet Explorer)
	{
		//full_width = (document.body.clientWidth - 8)
		//full_height = (document.body.clientHeight + 180) //(document.body.clientHeight - 8)
		//avail_width = (document.body.clientWidth)
		//avail_height = (document.body.clientHeight - graphics_height)
	}

	var winID
	//var now = new Date();  
	//winID = now.getTime().toString(); // Dynamic window name based on date/time
	winID = "Parent_Window"; // Simpler name just for now...
	// Create custom window...
	eval('child_window=open(URL,winID,"scrollbars=yes,toolbar=no,directories=no,menubar=no,resizable=yes,status=no,width=' + win_width + ',height=' + win_height + ',top=0,left=0")');

	//if (child_window.opener == null) // if something went wrong
	//	child_window.opener = window;
	//child_window.opener.name = winID;// set name of opener to 'winID'
	//alert(child_window.opener.name);
}