//This script defines global variables which relates
//to different kind of browsers

var w3c=(document.getElementById)?true:false;
var ns4=(document.layers)?true:false;
var ie4=(document.all && !w3c)?true:false;
var ie5=(document.all && w3c)?true:false;
var ns6=(w3c && navigator.appName.indexOf("Netscape")>=0)?true:false;
var ns7=(w3c && navigator.userAgent.indexOf("Netscape/7")>=0)?true:false;