<!--A selection of javascript functions used in various places
function blockError(){return true;}
window.onerror = blockError;

function qrySubmit() {

	document.forms.query.submit();

}
// -->