function getElement(id) {	if(document.all) {		return document.all[id];	} else if (document.getElementById)	{		return document.getElementById(id);	}}var oldID;function displaySubMenu(id){	if (id == oldID)		return;    var newSubMenu =  getElement('submenu' + id);    var newMenu = getElement('menu' + id);		var oldSubMenu;	var oldMenu;	if (oldID)	{		oldSubMenu = getElement('submenu' + oldID);		oldMenu = getElement('menu' + oldID);	}		if (newSubMenu)	{		newSubMenu.className = 'displaySubMenu'; 				if (oldSubMenu)			oldSubMenu.className = 'hiddenSubMenu';					oldSubMenu = newSubMenu;			}		if (newMenu)	{		newMenu.className = 'tabnavactive'; 				if (oldMenu)		{			oldMenu.className = '';		}			oldMenu = newMenu;		}		oldID = id;}