// JavaScript Document

<!--
function address(name) {
document.write('<a href="mai')
document.write('lto:' + name + '&#64;u.washington.edu">');
document.write(name + '&#64;u.washington.edu');
document.write('<\/a>');
document.write('<!-- mailmunge bit -->');
}
// -->

<!--
function notUW(domain,name) {
document.write('<a href="mai')
document.write('lto:' + name + '&#64;' + domain + '">');
document.write(name + '&#64;' + domain);
document.write('<\/a>');
document.write('<!-- mailmunge bit -->');
}
// -->

<!--
function mailText(text,name) {
document.write('<a href="mai')
document.write('lto:' + name + '&#64;u.washington.edu">');
document.write(text);
document.write('<\/a>');
document.write('<!-- mailmunge bit -->');
}
// -->