function $(obj){return document.getElementById(obj);}

function nav(obj)
{
span=obj.getElementsByTagName("span")[0].style;
span.display=(span.display=="inline")?("none"):("inline")
}