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

function topnavOver(el){el.src = el.src.replace(/_inactive/,'_active');}
function topnavOut(el){el.src = el.src.replace(/_active/,'_inactive');}