var activelink=""; 
function $(o){return document.getElementById(o)}

