var path;
function redirect(path) { window.location.replace( path ); }

/**
* get inst from cookie or go to url
*/
var url;
function no_session( url ) {
    var cookieinst = getCookie("inst");
    if( !is_valid( "inst", cookieinst ) ) {
        if( is_valid( "url", url ) ) {
            redirect( url );
        }
        else {
            redirect( "http://www.galileo.usg.edu" );
        }
        return true;
    }
}