current_pic = "";

function display_cpic( default_pic ) {
   if (!current_pic) {
      current_pic = default_pic;
   }
   window.open( current_pic );
}

function load_pic( img_src, link_src ) {
   current_pic = link_src;
   document.images["view"].src = img_src;
}

function sel_dir( img_name ) {
   mysrc = "/images/" + img_name + "_red.gif";
   document.images[img_name].src = mysrc;
}

function unsel_dir( img_name ) {
   mysrc = "/images/" + img_name + ".gif";
   document.images[img_name].src = mysrc;
}