var x = new XSLT()
         try {
             x.transform('menu.xml', 'menu.xsl');
         }
         catch (ex) {
             document.location = ''
         }
         x.finished = function(result) {
                 document.getElementById("menu").innerHTML = result;
             }