jump = function() {

    // use cookies to avoid browser back-lash
    // it isn't working because the page isn't cached
    // and a new value for fseSSOToken is generated each time
	var oFseSSOToken = document.getElementById( "fseSSOToken" );
	var sFseSSOToken = oFseSSOToken.content;
	
	var oFseSSOTokenCookieRE = new RegExp( "(?:; )?fseSSOToken=([^;]*);?" );
	if( oFseSSOTokenCookieRE.test( document.cookie )) {
        var sCookieValue = decodeURIComponent( RegExp["$1"] );
        if( sCookieValue == sFseSSOToken ) {
            history.back();
            return;
        }
	}
    var sCookie = "fseSSOToken=" + encodeURIComponent( sFseSSOToken );
    document.cookie = sCookie;
    document.theform.submit();
};