var login_a = new Image(); login_a.src = "/images/login_a.gif";
var login_b = new Image(); login_b.src = "/images/login_b.gif";
var signup_a = new Image(); signup_a.src = "/images/signup_a.gif";
var signup_b = new Image(); signup_b.src = "/images/signup_b.gif";
var doc_a = new Image(); doc_a.src = "/images/documentation_a.gif";
var doc_b = new Image(); doc_b.src = "/images/documentation_b.gif";
function swap(img,towhat) {
   img.src = towhat.src;
}
function confdelfile(file,url) {
   if (confirm('Are you sure you want to delete this file?\n\n'+file)) {
      window.location = url;
   }
}
function confdeldir(dir,url) {
   if (confirm('Are you sure you want to delete this directory and all of the files contained in it?\n\n'+dir)) {
      window.location = url;
   }
}
function help(url) {
   window.open(url,'','width=300,height=150');
}