ao_dhtml = false;
ao_dhtml_bg = "#ffffff";
ao_dhtml_mbg = false;
ao_dhtml_fg = false;
ao_dhtml_mfg = "#000000";


document.show = function(div,nest) { return; };
document.hide = function(div,nest) { return; };