//	Games.Functions.js: Assorted functions for games
var reloading = false;

function Reload() {
	var u = String(document.location);
	if (u.indexOf("&time") == -1) u = u + "&time=" + t0;
	reloading = true;
	document.location = u;
}

function GameFocus() { window.document.game.focus(); }

function ReloadOpener() { var s = opener.location; opener.location = s; }