/// <summary>
///   Redirects the user to the search page and appends the query from the search box into the URL
/// </summary>
function search() {
    var searchText = document.getElementById('searchText');
    document.location = "/search.aspx?q=" + escape(searchText.value);
}