function showExtra(txt, w){
    document.getElementById("info").innerHTML = txt;
    document.getElementById("info").style.display = "block";
    document.getElementById("info").style.width = w + "px";
}
function hideExtra(){
    document.getElementById("info").style.display = "none";
}