return true; 
function toggleHidden(elementId) {    var element = document.getElementById(elementId);    var display = element.style.display;     if(display=='none') {		toggleOpen(element, elementId);		return true;     } else {		toggleClose(element, elementId);		return false;     }}
5150	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5150/a66da84996cc04735670885ead831d14c3a807e9/imutils.js/clean/intermine/webapp/main/resources/webapp/js/imutils.js