rem:  var elem = getElement("dloptions"); showElement(elem, show); } 
add:  var elem = getElement("dloptions"); showElement(elem, show);  } 
context: function showOptions(show) {	// show or hide option div	var elem = getElement("dloptions");	showElement(elem, show);	}
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7747/b558443abc997acd0db2f5f940a087d1a2056c8e/dllib.js/clean/client/digitallibrary/greyskin/dllib.js