var aff = document.getElementById('menu9');
aff.addEventListener('mouseover', function(e) {
if (isMouseLeaveOrEnter(e,this)){
document.getElementById('txt_aff').parentNode.removeChild(document.getElementById('txt_aff'));
document.getElementById('menu9').innerHTML = ' 
';}
}, false)
var logos = document.getElementById('logos');
aff.addEventListener('mouseout', function(e) {
if (isMouseLeaveOrEnter(e,this)){
document.getElementById('logos').parentNode.removeChild(document.getElementById('logos'));
document.getElementById('menu9').innerHTML = 'affiliations
';}
}, false)
// this function determines whether the event is the equivalent of the microsoft
// mouseleave or mouseenter events. Thanks to http://dynamic-tools.net/toolbox/isMouseLeaveOrEnter/
function isMouseLeaveOrEnter(e, handler)
{
if (e.type != 'mouseout' && e.type != 'mouseover') return false;
var reltg = e.relatedTarget ? e.relatedTarget :
e.type == 'mouseout' ? e.toElement : e.fromElement;
while (reltg && reltg != handler) reltg = reltg.parentNode;
return (reltg != handler);
}