// For some reason, doing this programmatically results in
// document.search.query being undefined, hence the raw HTML.
debug("HTML search form");
$("#mkwsSearch").html('\
// For some reason, doing this programmatically results in
// document.search.query being undefined, hence the raw HTML.
debug("HTML search form");
$("#mkwsSearch").html('\