rem: k = document.getElementById('allmessagesfilter'); 
add: var k = document.getElementById('allmessagesfilter'); 
context: function allmessagesshow() {	k = document.getElementById('allmessagesfilter');	if (k) { k.style.display = ''; }	allmessages_prev = '';	allmessages_modified = false;}
meta: 7966	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7966/845a064a5667ce4442c1b90f1eb1e013673ae589/wikibits.js/buggy/skins/common/wikibits.js