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

function resizeGame(width, height)
 {
    var NS = (navigator.appName=="Netscape")?true:false;
    iWidth = (NS)?window.innerWidth:document.body.clientWidth;
    iHeight = (NS)?window.innerHeight:document.body.clientHeight;
    iWidth = width - iWidth;
    iHeight = height - iHeight;
   window.resizeBy(iWidth, iHeight);
 } 
