/* Write an arbitrary JavaScript. */