var divtop
var  uni$
var lastdiv

function gofragmenu(){
var temp$ = "<p style='font-size:10pt; font-weight:bold; color:#191970'><form name='fraggrabber'><a href='javascript:grabafrag()'><IMG SRC='andystanweave.gif' valign='middle' border='0'></a><INPUT TYPE='text' VALUE='1' NAME='getfragnum' size='5'> (fragments 1 to 153) &nbsp; Unicode?<INPUT TYPE='CHECKBOX' NAME='uniask'> &nbsp;<a href='javascript:getfrag()'></a></form></p>"
document.write(temp$)
var urlname= unescape(window.location.href)
if (urlname.indexOf("empunib") > 0){document.fraggrabber.uniask.checked = true}
}

function grabafrag(){
var temp$ = document.fraggrabber.getfragnum.value
var fragnum = parseInt(temp$)
var whichfile = "empalleng.htm"

if (document.fraggrabber.uniask.checked){
	whichfile = "empunib.htm"
}else{
        whichfile = "empalleng.htm"
}

if ((fragnum > 0) && (fragnum < 154)){
window.location = whichfile + "#" + fragnum
}else{
window.location = whichfile + "#109"

}
}

function pageOffset(divname) {
lastdiv=divname
    if (document.layers) {
        eval("document.layers['headerdiv'].pageY = window.pageYOffset + 5");
        eval("document.layers['" + divname + "'].pageY = window.pageYOffset + 55");
	showpane('headerdiv')
	showpane(divname)
	if (divname != 'main'){hidepane('main')}
    } else if (document.all) {
        eval("document.all['headerdiv'].style.posTop = document.body.scrollTop + 5");
        eval("document.all['" + divname + "'].style.posTop = document.body.scrollTop + 55");
	showpane('headerdiv')
	showpane(divname)
		if (divname != 'main') {hidepane('main')}
    }   
}


function hidepane(divname){
   if (document.layers){
	eval("document.layers['" + divname + "'].visibility = 'hidden'")	
	if (divname != 'main') {showpane('main')}
   }else if (document.all){
	eval("document.all['" + divname + "'].style.visibility = 'hidden'")
	if (divname != 'main') {showpane('main')}
   }
}

function showpane(divname){
   if (document.layers){
	eval("document.layers['" + divname + "'].visibility = 'visible'")	
   }else if (document.all){
	eval("document.all['" + divname + "'].style.visibility = 'visible'")
   }
}