pakmanaged.js
function randomFileName() {
      function randomHash(count) {
        if (count === 1)
          return parseInt(16*Math.random(), 10).toString(16);
        else {
          var hash = '';
          for (var i=0; i<count; i++)
            hash += randomHash(1);
          return hash;
        }
      }
    
      return 'shelljs_'+randomHash(20);
    }
function randomFileName() {
      function randomHash(count) {
        if (count === 1)
          return parseInt(16*Math.random(), 10).toString(16);
        else {
          var hash = '';
          for (var i=0; i<count; i++)
            hash += randomHash(1);
          return hash;
        }
      }
    
      return 'shelljs_'+randomHash(20);
    }
e.g. 'shelljs_a5f185d0443ca...'