function nothing () {} activateMenu = function(nav) { if(document.all && document.getElementById(nav).currentStyle){ // only MSIE supports document.all var navroot = document.getElementById(nav); /* Get all the list items within the menu */ var lis=navroot.getElementsByTagName("LI"); for(i=0;i"+ PRODUCT +"close

"; if (timeout != 0) text +=""; text += "
"; preview = window.open("", "preview", windowprops); preview.document.open(); preview.document.write(text); preview.document.close(); }