This file executes some JavaScript.