/**gdHappyHourUtils.js
 * 
 * This script contains serveral functions that are used for the happy hour html files.
 */

function redirectTo( url ){
	document.location.replace( url );
}

function closeFrame(){
	var frame = document.getElementById( "gameFrame" );
	frame.style.display = "none";
	var box = document.getElementById( "blocker" );
	box.style.display = "none";
}

function setFocusToHappy(){
	var happy = document.getElementById( "happyFlash" );
	happy.focus();
}

function FensterOeffnen (Adresse) {
  MeinFenster = window.open(Adresse, "Zweitfenster", "width=550,height=450,left=100,top=200,scrollbars=yes");
  MeinFenster.focus();
}