// JavaScript Document
if (document.getElementById && document.getElementsByTagName && document.createTextNode) {
	document.write('<link rel="stylesheet" type="text/css" href="/css/pop.css" /><link rel="stylesheet" type="text/css" href="/css/searchtabs.css" /><script type="text/javascript" src="/js/events.js"></script><script type="text/javascript" src="/js/tabs.js"></script>');
}
function mouseLeaves (element, evt) {
if (typeof evt.toElement != 'undefined' && typeof element.contains !=
'undefined') {
return !element.contains(evt.toElement);
}
else if (typeof evt.relatedTarget != 'undefined' && evt.relatedTarget) {
return !contains(element, evt.relatedTarget);
}
}

function contains (container, containee) {
while (containee) {
if (container == containee) {
return true;
}
containee = containee.parentNode;
}
return false;
}

function hideElement (element) {
if (element.style) {
element.style.visibility = 'hidden';
}
}

function showElement (element) {
if (element.style) {
element.style.visibility = 'visible';
}
}