var ie = document.all;
var w3c = document.documentElement;
var timerOn = false;
var menOpen = "nav01";
var menOpen2 = false;
var navOpen2 = false;
var TabOpen = "tab11";
var TabOpen2 = "tab21";
var TabOpena = false;

function get_element(name) {
    if(w3c||navigator.userAgent.indexOf("Opera") != -1) {
    return document.getElementById(name);
	}
	if(ie) {
	return eval("document.all." + name);
	}
}