// stringname=deminJS
// Use this as a stub if you don't need deminimization, and are not including demin.js

Object.freeze(this); // essential for security
Object.freeze(Object);
Object.freeze(Object.prototype);
