function hideHead () {
    if (document.getElementById("flash").style.display != "none") {
        document.getElementById("flash").style.display = "none";
        document.getElementById("showhide_bot").src="tl_files/img/flashdown.gif";
        document.getElementById("showhide").className="bot_down";
        relocateSensor ();
    } else {
        document.getElementById("flash").style.display = "block";
        document.getElementById("showhide_bot").src="tl_files/img/flashup.gif";
        document.getElementById("showhide").className="bot_up";
        relocateSensor ();
    }
}

function botPos () {
        document.getElementById("showhide").className="bot_up";
  }