function faculty_menu()
{
var el=document.getElementById('fmenu')
if(!el) return
var els={"current":"Research","publications":"Publications","education":"Education","contact":"Contact","teaching":"Teaching"}
var links=document.getElementsByTagName('a'),out=''
for (var i=0;i<links.length;i++)
 {
 var anchor=links[i].name.match(/^.*$/)
 if(anchor!=null&&els[anchor]) 
  out+=print_link(anchor,els[anchor])
 }
 el.innerHTML=out+el.innerHTML
}
function print_link(url,name)
{
return '<img src="/images/themes/bul.gif" style="position:relative;top:0px">&nbsp;<a href="#'+url+'"><font face="MsSansSerif" size=+1><b>'+name+'</b></font></a><br>'
}