var onload_oldOnload = window.onload;
function onLoad() {
if (onload_oldOnload) onload_oldOnload();
cssjsmenu('nav_main');
if (document.all)
 document.execCommand('BackgroundImageCache',false,true);
}
window.onload = onLoad;