// ----------------------------------------
function cambiarAPagina(mandato) {
   newURL = "/cgi/mkc.pl?" + mandato + "=1&URL=" + top.location.href;
   top.location.href = newURL;
   return false;
}
// ----------------------------------------
// Main (Generado: Tue Nov 18 11:50:13 2003 Costa Rica's time)

comilla = '"';

document.write("<font color='#ffffff'>Bienvenido, </font>");
document.write("<a href=" +comilla+ "javascript:cambiarAPagina('PROFILE');" +comilla+ " onclick=" +comilla+ "return cambiarAPagina('PROFILE');" +comilla+ " onMouseOver=" +comilla+ "status='';" +comilla+ "><font color='#ffff00'>gaelle</font></A>");
document.write("<font color='#ffffff'>&nbsp;|&nbsp;</font>");
document.write("<a href=" +comilla+ "javascript:cambiarAPagina('LOGOUT');" +comilla+ " onclick=" +comilla+ "return cambiarAPagina('LOGOUT');" +comilla+ " onMouseOver=" +comilla+ "status='';" +comilla+ "><font color='#ffff00'>Desconectar</font></a>");
