var isIE = document.createElementNS==null;
  
  if (document.getElementById==null) 
    alert("This webpage requires a recent browser such as\
  \nMozilla/Netscape 7+ or Internet Explorer 6+MathPlayer")