function playChirp() {
	// Fallback for IE:
	document.getElementById('sound_for_ie').src='sounds/chirp.wav';
	// HTML 5 Browsers:
	document.getElementById('chirp').volume = 0.6;
	document.getElementById('chirp').play();
}