function closeOtherPlayers()
{
		// empty out all spans that enclose flash audio players
		var spans = document.getElementsByTagName('span');
		for(var i = 0; i < spans.length; i++)
    {
				var span = spans[i];
				if((span.className == 'audio_player mini_player') && (span.childNodes.length == 1))
        {
						var prefix_length = "player_".length;
						var item_id = span.id.substr(prefix_length, span.id.length - prefix_length);
						span.removeChild(span.childNodes[0]);
				}
		}
}

function show_player(id, url)
{
	closeOtherPlayers(); //Damn Firefox!
	var swf = new SWFObject("/flash/aj_tiny_player.swf?soundFileName=" + url + "&looping=true", id + "_swf", "67", "24", "8")
	swf.write("player_" + id)
}