// JavaScript Document

// This is the code for playing the musical terms MP3s
function PlaySound(S) {
document.all['BGSOUND_ID'].src='mp3/'+S+'.mp3';
}