function show (divID) {
	use(divID).style.display = 'block';
}
function use(id) {
	return document.getElementById(id);
}
function initPlayer() {
window.onunload = function() {
	// stops audio when browser moves to a new page or closes. Helps stop a crash in Safari.
		use("fmp256").playpause(0);
	}
}