/* DEPRECATED. Now in global.js */