function refresh()
{
	window.location.reload( false );
}