<!--

//Toggle Show / Hide the DIV (div_ID = numbers or 'text')
function showhide(div_ID) {						
 var el = document.getElementById(div_ID);
 el.style.display = (el.style.display != 'none' ? 'none' : '' );
}


<!--swap image on hoover (http://jdstiles.com/java/hoverchangeimage.html)-->
function showMainHall(q){ 
document.getElementById('logoMainHall').setAttribute('src','images/lobby/'+q+'.jpg') 
} 

function showSlots(q){ 
document.getElementById('logoSlots').setAttribute('src','images/lobby/'+q+'.jpg') 
} 

function showInstant(q){ 
document.getElementById('logoInstant').setAttribute('src','images/lobby/'+q+'.jpg') 
} 

function showCasino(q){ 
document.getElementById('logoCasino').setAttribute('src','images/lobby/'+q+'.jpg') 
} 


//-->