function setFilter(){
  filter_value=$F('filter_value');
  toPage(1);
  return true;
}

/*function showPreview(str){
  window.open(str, 'Preview', config='');
  return;
}*/