function launchWin(launchUrl, windowName, windowFeatures) {
	var childWindow = window.open(launchUrl, windowName, windowFeatures);
	childWindow.focus();
}

function swapPlayVisibility(document) 
{
    document.getElementById("play_game").style.display='none';
    document.getElementById("click_continue").style.display='block';
}

function goBack(defaultURL) {
    if(history.length > 1) {
        history.go(-1);
     } else {
        window.open(defaultURL, '_self');
     }
}
 
var submitted = 0;

function submitForm( form ) {
  if(submitted>0)
    return;
  form.submit();                
  submitted = 1;
}