if(document.all && !document.getElementById) {
    //alert("here");
    document.getElementById = function(id) {
         return document.all[id];
    }
}


function antispamtxt(ext,domain,name,text) {
  document.write('<a href=\"mailto:' + name + '@' + domain + '.' + ext + '\">');
  document.write(text + '</a>');
}
function antispam(ext,domain,name) {
  document.write('<a href=\"mailto:' + name + '@' + domain + '.' + ext + '\">');
  document.write(name + '@' + domain + '.' + ext + '</a>');
}

function pause(numberMillis)
{
var now = new Date();
var exitTime = now.getTime() + numberMillis;
while (true)
{
now = new Date();
if (now.getTime() > exitTime)
return;
}
}