/* $$$ hugh - now done in table.js
if($('checkAll')){
	$('checkAll').addEvent( 'change', function(e){
		var chkBoxes = document.getElementsByName('ids[]');
		if(!$('checkAll').checked){
			var c = '';
		}else{
			var c = 'checked';
		}
		for(var i=0;i<chkBoxes.length;i++){
			chkBoxes[i].checked=c;
		}
		var event = new Event(e);
	  	event.stop();
	});
}
*/