/* DEPRECATED. Code in global.js */