$(document).ready(function(){
	consolelog("document.ready() - music.php");
	$("#main_music").at_intervals(function(){
		if(top.main_frame && top.main_frame.setup_music) {
			top.main_frame.setup_music();
			$("#main_music").data("at_intervals").should_stop = true;
		}
	});
});
function setup_music() {
	consolelog("setup_music() - music.php");
}
function turn_music_on() {
	consolelog("turn_music_on()");
	$("#jmp3").html($("#jmp3").attr('mp3')); //part of hack to turn music on/off with javascript :)
	$("#jmp3").jmp3(); //start up the music
}
function turn_music_off() {
	consolelog("turn_music_off()");
	$("#jmp3").html(''); //hack to turn off music with javascript :)
}