/*
var timers = new Array();
var timerCount = 0;
soundManagerInit();

//call from flash, make audio button available
function audioLoaded() {
	document.getElementById("audioloading").style.display = 'none';
	document.getElementById("play").style.display = 'inline';
}
*/