function playSound(soundfile)
{
  document.write('<embed src="'+soundfile+'" hidden="true" autostart="true" loop="false"></embed>\n');
}