<!--
// JavaScript Document

function swap_image(img_name, new_src){
	document.images[img_name].src = new_src;
	}

if (document.images)
	{
	img1 = new Image();
	img1.src = "http://dramashop.mit.edu/img/mit_over.gif";
}

// Obscure Email Addresses

// Note the argument ordering!!!
// address is username@hostname1.hostname2
function make_addr(hostname1,hostname2,username) {
  document.write('<a href="mail');
  document.write('to:' + username);
  document.write("@");
  document.write(hostname1);
  document.write('.' + hostname2 + '">' + username);
  document.write("@");
  document.write(hostname1);
  document.write('.' + hostname2 + '</a>');
}

function make_addr_text(hostname1,hostname2,username,text) {
  document.write('<a href="mail');
  document.write('to:' + username);
  document.write("@");
  document.write(hostname1);
  document.write('.' + hostname2 + '">' + text);
  document.write('</a>');
}

function make_addr_span(spanid,hostname1,hostname2,username) {
  addrtext = '<a href="mail';
  addrtext += 'to:' + username;
  addrtext += "@";
  addrtext += hostname1;
  addrtext += '.' + hostname2 + '">' + username;
  addrtext += "@";
  addrtext += hostname1;
  addrtext += '.' + hostname2 + '</a>';
  document.getElementById(spanid).innerHTML = addrtext;
}

function make_addr_span_text(spanid,hostname1,hostname2,username,text) {
  addrtext = '<a href="mail';
  addrtext += 'to:' + username;
  addrtext += "@";
  addrtext += hostname1;
  addrtext += '.' + hostname2 + '">' + text;
  addrtext += '</a>';
  document.getElementById(spanid).innerHTML = addrtext;
}
function make_addr_span_inner(spanid,hostname1,hostname2,username) {
  addrtext = '<a href="mail';
  addrtext += 'to:' + username;
  addrtext += "@";
  addrtext += hostname1;
  addrtext += '.' + hostname2 + '">' + document.getElementById(spanid).innerHTML;
  addrtext += '</a>';
  document.getElementById(spanid).innerHTML = addrtext;
}
function make_addr_span_same(spanid,hostname1,hostname2) {
  addrtext = '<a href="mail';
  addrtext += 'to:' + spanid;
  addrtext += "@";
  addrtext += hostname1;
  addrtext += '.' + hostname2 + '">' + spanid;
  addrtext += "@";
  addrtext += hostname1;
  addrtext += '.' + hostname2;
  addrtext += '</a>';
  document.getElementById(spanid).innerHTML = addrtext;
}
-->