function printDoc() {
	window.print();
}

function do_search(){
	document.searchForm.submit();
}

function do_notify(){
	document.notifyForm.submit();
}

function do_emptyfield(f){
	f.value = '';
}

function do_fillfield(f,str){
	if (trim(f.value) == ''){
		f.value = str;
	}
}

function trim(s) {
  while (s.substring(0,1) == ' ') {
    s = s.substring(1,s.length);
  }
  while (s.substring(s.length-1,s.length) == ' ') {
    s = s.substring(0,s.length-1);
  }
  return s;
}