Note that DateFormat.js is a quick-and-dirty implementation at present.