function playSound() { if (document.getElementById('sound').checked){ flipsound.playclip(); } } playSound();