function WhichStyle() {
var ie;

  ie = navigator.appName;

  if (ie.indexOf("Explorer")>=0) {
    links = document.all.tags("link");
    links[0].disabled=false;
    links[1].disabled=true;
  }
}