Please move this JS to an external file (I know it's small, but it's something we try to avoid).