<!--
function highlight(elem)
{
	elem.className='highlighted';
}

function unhighlight(elem)
{
	elem.className='unhighlighted';
}

function changeContent(txt)
{
	playme("docs/Bowling_Strike_Fx_77803.wav");
	document.all.main.innerHTML=txt;
}

function playme(your_sound){
document.getElementById('my_ID').src=your_sound
}
// -->