add: } 
context: function toggle_element_activation(ida,idb) {	if (!document.getElementById)		return;	document.getElementById(ida).disabled=true;	document.getElementById(idb).disabled=false;}
meta: 7642	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7642/845a064a5667ce4442c1b90f1eb1e013673ae589/wikibits.js/buggy/skins/common/wikibits.js