<!--
	// last modified script by Bernhard Friedrich; should work in all browsers
	function go()
	{
		parent.location.reload();
	}
// -->