function redir(href) {
    window.location = href;
}