function Go(x) {
 if(x == "nothing") {
   document.forms[0].reset();
   document.forms[0].elements[0].blur();
   return;
 }
 else if(x == "end")
   self.location.href = parent.frames[1].location;
 else {
   self.location.href = x;
   document.forms[0].reset();
   document.forms[0].elements[0].blur();
 }
}

function openWindow(win_url, win_name) {
	window.open(win_url, win_name, 'menubar=no,width=640,height=450,left=200,top=300,scrollbars=yes');
}

function scrolldown(i) {
	if (navigator.appName == "Microsoft Internet Explorer") {
		window.location.href = "#line" + i;
	}
}