             function SetFocus(){//overwrite existing function
                                }

// Code used by Docket Sheet

                function select_all_documents(checked){
			var elements = document.forms[0].elements;
			for (var i = 0; i < elements.length; i++) {
				var checkbox = elements[i];
				if (checkbox.name == 'all_documents') {
					checkbox.checked = checked;
					select_all_attachments(checkbox);
				}
			}
                        if(checked == false){
                              