<!--// JavaScript Document

function playSound(sound_filename) {
	
	//================================================
	// Plays a sound when image is hovered
	//================================================
	
	var objSoundPlayer = document.getElementById("soundplayer");
	objSoundPlayer.src="sounds/" + sound_filename + ".wav";	
}

//-->