// global.js
// Element.