if (1) {
   var asslAllScripts = document.getElementsByTagName("script")
   for (var j=0;j<asslAllScripts.length;j++) {
      var src = asslAllScripts[j].src
      if (src.indexOf("assl.js") != -1) {
         var asslFolder = src.split("assl.js")[0]
         // this is necessary because inserting via DOM fails with some browsers
         document.write('<script type="text/javascript" src="'+asslFolder+'lib/jsbn/jsbn.js"></script>'+
         '<script type="text/javascript" src="'+asslFolder+'lib/jsbn/prng4.js"></script>'+
         '<script type="text/javascript" src="'+asslFolder+'lib/jsbn/rng.js"></script>'+
         '<script type="text/javascript" src="'+asslFolder+'lib/jsbn/rsa.js"></script>'+
         '<script type="text/javascript" src="'+asslFolder+'lib/aesbase64.js"></script>'+
         '<script type="text/javascript" src="'+asslFolder+'assl_.js"></script>')
      }
   }
}