function init_onload(){
    // Hide the java script disabled alert div.
    $("#jsalert").hide();
}


function set_filter(url){
    window.location = url;
}