// JavaScript Document

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

function refresh()
{
	window.location.replace( sURL );
}