window.onload = global_ini;

var _g_main_rot13map;

// The problem is that JavaScript 1.0
// does not provide a Char to Numeric value conversion
// Thus we define a map.
// Because there are 64K UniCode characters, this map does not cover all characters.
function _g_main_rot13init()
{
    var map = new Array();
    var s   = "abcdefghijklmnopqrstuvwxyz";
  
    for (i=0; i<s.length; i++)
        map[s.charAt(i)] = s.charAt((i+13)%26);
    for (i=0; i<s.length; i++)
        map[s.charAt(i).toUpperCase()] = s.charAt((i+13)%26).toUpperCase();

    return map;
}

function _g_main_rot13(a)
{
    if (!_g_main_rot13map) {
        _g_main_rot13map = _g_main_rot13init();
    }
    
    s = "";
    for (i=0; i<a.length; i++) {
      var b = a.charAt(i);
      s	+= (b>='A' && b<='Z' || b>='a' && b<='z' ? _g_main_rot13map[b] : b);
    }
    
    return s;
}


function g_main_sendEmail(mail)
{
    real_mail = _g_main_rot13(mail);
    
    window.location.href = 'mailto:' + real_mail;
    
    return false;
}

function global_ini()
{
    // check domain name
    red();
}