function f()
{
	document.location.reload();
}