// flip

function flip ( li_id_a, li_id_b ) {
  displayType = ( document.getElementById( li_id_a ).style.display == 'none' ) ? 'block' : 'none';
  document.getElementById( li_id_a ).style.display = displayType;
  displayType = ( document.getElementById( li_id_b ).style.display == 'none' ) ? 'block' : 'none';
  document.getElementById( li_id_b ).style.display = displayType;
}

function popup (img, w, h) {
  window.open (img, 'zoom'+w+h, 'toolbar=no, location=no, directories=no, status=no, scrollbars=no, resizable=no, copyhistory=no, width='+w+', height='+h);
}


function do_submit()
 {
    document.sel_form.submit();
 }