<!--
var ie=(navigator.appName == "Microsoft Internet Explorer" && navigator.userAgent.indexOf("Opera") < 0);
var ns=(!document.getElementById);
var opera=(navigator.userAgent.indexOf("Opera") > 0);
var w3=(document.getElementById && !ie && !opera);
//-->