<!--
function setdefault(x) {window.defaultStatus=x; return true;}
function setstatus(x) {window.status=x; return true;}
// -->