Encoding ampersands in JS (to avoid XSL parsing error)