var s5_ismod_switch = 0;

function s5_ismod_switchbuttons() {

 if (s5_ismod_switch == "1") {
 document.getElementById("s5_ismod_play").style.display = "block";
 document.getElementById("s5_ismod_stop").style.display = "none";
 s5_ismod_switch = 0;
 } else {
 document.getElementById("s5_ismod_play").style.display = "none";
 document.getElementById("s5_ismod_stop").style.display = "block";
 s5_ismod_switch = 1;
 }
}
 

function s5_ismod_onhover() {
 document.getElementById("s5_ismod_onhover").style.display = "block";}

function s5_ismod_outhover() {
 document.getElementById("s5_ismod_onhover").style.display = "none";}