var table_w = screen.availWidth - 160;
var aw = screen.availWidth;
var ah = screen.availHeight;
var today = new Date();
var expires = new Date();

DOM = (document.getElementById) ? true : false;
NS4 = (document.layers) ? true : false;
IE = (document.all) ? true : false;
IE4 = IE && !DOM;
Mac = (navigator.appVersion.indexOf("Mac") != -1);
IE4M = IE4 && Mac;

Opera = (navigator.userAgent.indexOf("Opera")!=-1);
Konqueror = (navigator.userAgent.indexOf("Konqueror")!=-1);

Menu = !Opera && !Konqueror && !IE4M && (DOM || NS4 || IE4);

expires.setTime(today.getTime() + 1000*60*60*24);
document.cookie = "menu_ok=" + escape (Menu) + "; expires=" + expires.toGMTString();
document.cookie = "width=" + escape (table_w) + "; expires=" + expires.toGMTString();