/* this function reloads the head, bodytext etc, and is called when the
user clicks on a different section like 1.1. 1.2 etc */

function update(bodytext,button_htmlocation,head_loc)  
{ 

if (textwindow != null) parent.textwindow.location.href = bodytext
 	if (buttons != null) top.buttons.location.href = button_htmlocation
	if (head != null) top.head.location.href = head_loc
}
 
function uptext(bodytext,head_loc)  
{ 

if (textwindow != null) parent.textwindow.location.href = bodytext
	if (head != null) top.head.location.href = head_loc
} 
function donoting()
	{
	}