var sURL = unescape(window.location.pathname);

function sendForm(id,action)
{
	var currentElement = document.getElementById(id);
	var activeFormID = currentElement.form.id;
	document.forms[activeFormID].action=action;
	document.forms[activeFormID].submit();
}

/*function sendForm(form,action)
{
	document.forms[form].action=action;
	document.forms[form].submit();
}*/

/*function refresh(url,interval)
{
	var t=setTimeout("window.location.assign('" + url + "')",interval);
}*/

function doLoad(interval)
{
    // the timeout value should be the same as in the "refresh" meta-tag
    setTimeout( "refresh()", interval*1000 );
}

function refresh()
{
    //  This version of the refresh function will cause a new
    //  entry in the visitor's history.  It is provided for
    //  those browsers that only support JavaScript 1.0.
    //
    window.location.href = sURL;
}

function refresh1()
{
    //  This version does NOT cause an entry in the browser's
    //  page view history.  Most browsers will always retrieve
    //  the document from the web-server whether it is already
    //  in the browsers page-cache or not.
    //  
    window.location.replace( sURL );
}

function refresh2()
{
    //  This version of the refresh function will be invoked
    //  for browsers that support JavaScript version 1.2
    //
    
    //  The argument to the location.reload function determines
    //  if the browser should retrieve the document from the
    //  web-server.  In our example all we need to do is cause
    //  the JavaScript block in the document body to be
    //  re-evaluated.  If we needed to pull the document from
    //  the web-server again (such as where the document contents
    //  change dynamically) we would pass the argument as 'true'.
    //  
    window.location.reload( false );
}