// JavaScript Document
function write_mailto(domain, user, display_name) {
document.write(" \n");
if (display_name)
document.write(display_name + "\n");
else
document.write(user + "@" + domain);
document.write(" \n");
}
function WriteFlashObject(URL,WIDTH,HEIGHT,TITLE)
{
document.write('');
}