Shortened Todo_short.js.