function trace(str)
{
	setTimeout(function() { throw str; }, 0);
}

function toggleAudio()
{
	var aOn = document.getElementById('audio-button-on');
	var aOff = document.getElementById('audio-button-off');
	if (aOn.style.display != 'none')
	{
		aOn.style.display = 'none';
		aOff.style.display = 'block';
	}
	else
	{
		aOn.style.display = 'block';
		aOff.style.display = 'none';
	}
}