Added comments, renamed JAvascript file: specify_defs.js -> specify_global.js.