rem: if (_footerHeight!=document.getElementById('footer').offsetHeight) { setFooter(); 
add: if (document.getElementById) { if (_footerHeight!=document.getElementById('footer').offsetHeight) {  if (navigator.userAgent.indexOf('Opera') == -1) setFooter(); else _footerHeight=document.getElementById('footer').offsetHeight; } 
context: window.onmouseover = function() {    if (_footerHeight!=document.getElementById('footer').offsetHeight) {        setFooter();    }}
meta: 5150	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5150/8feae12caef3430fd12dacda2f207d38e70ca62a/footer.js/buggy/www/intermine/site/style/footer.js