function search_submit(){
 if(search_check()==true){
  document.forms['search'].submit()
 } else {
  document.search.text.focus()
 }
}

function search_check(){
 var v=document.search.text.value
 if( v.replace(/[ ]/g, '') == ''){
  return false
 }
 return true
}

function print_version(){
 xurl=new String(document.location);
 x = xurl.split(/\?/);
 //alert(xurl);
 if(x.length==2){
  xurl+="&print-version=1";
 } else {
  xurl+="?print-version=1";
 }
 //alert(xurl)
 document.location=xurl;
 return true;
}