//configure below variable for menu width, position on page
var menuwidth=150
var offsetleft=9
var offsettop=120

var ns4=document.layers?1:0
var ie4=document.all?1:0
var ns6=document.getElementById&&!document.all?1:0


function makeStatic() {
if (ie4) {object1.style.pixelTop=document.body.scrollTop+offsettop}
else if(n6){document.getElementById("object1").style.top=window.pageYOffset+offsettop}
else if (ns4) {eval(document.object1.top=eval(window.pageYOffset+offsettop));}
setTimeout("makeStatic()",6);
}

if (ie4||ns6) {document.write('<span ALIGN="CENTER" ID="object1" STYLE="Position:absolute; Top:20; Left:'+offsetleft+'; Z-Index:5;cursor:hand;background-color:black;"><TABLE BORDER="0" width="'+menuwidth+'" CELLPADDING="2" CELLSPACING="1" BORDERCOLOR="black" bgColor="#eaffff">')}

else if (ns4){ document.write('<LAYER top="20" name="object1" left="'+offsetleft+'" BGCOLOR=black><TABLE BORDER="0" CELLPADDING="0" CELLSPACING="1"><TR><TD><TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" width="'+menuwidth+'">')}
<!-------********************-->


var menui = new Array();
var menul = new Array();

//configure below for menu items. Extend list as desired

menui[0]="Home page";
menui[1]="C.V";
menui[2]="Beltrami framework";
menui[3]="Publications";
menui[4]="Courses";
menui[5]="Students";
menui[6]="Projects";
menui[7]="E mail";

menul[0]="index.html";
menul[1]="bio.html";
menul[2]="beltrami.html" ;
menul[3]="publications.html";
menul[4]="courses.html";
menul[5]="students.html";
menul[6]="projects.html";
menul[7]="mailto:sochen@post.tau.ac.il";


for (i=0;i<=menui.length-1;i++)
if (ie4||ns6) {document.write('<TR><TD  class="menu" BORDERCOLOR="#eaffff" ONCLICK="location=\''+menul[i]+'\'" onmouseover="className=\'menuh\'" onMouseout="className=\'menu\'"><center><font><b>'+menui[i]+'</b></font></center></TD></TR>')}
else if (ns4){document.write('<TR><TD bgcolor="#eaffff"><ilayer><layer  onmouseover="bgColor=\'#eaffff\'" onmouseout="bgColor=\'#eaffff\'"><CENTER><A HREF="'+menul[i]+'" class="menulinks">'+menui[i]+'</A></CENTER></layer></ilayer></TD></TR>')}

if (ie4||ns6) {document.write('</TABLE></span>')}
else if (ns4){document.write('</TABLE></TD></TR></TABLE></LAYER>')}

function menu3(){
if (ns6||ie4||ns4)
makeStatic()
}

window.onload=menu3