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

function browserFocus()
{
	document.getElementById(name).focus();
}

function protocol()
{
	return parent.location.protocol;
}

function closeWindow()
{
	win = top;
	win.opener = top;
	win.close();
}