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

function open_win(theURL){
 view_win = window.open(theURL,"view","statusbar,scrollbars,height=400,width=600");
 view_win.focus();
};