Keel needs JavaScript.