function showPanel(new_panel_id)
{
	$(current_panel_id).hide();
	$(new_panel_id).show();
	current_panel_id = new_panel_id;
}

Event.observe(window, 'load', function() {
	current_panel_id = location.hash.substr(1);
	if (current_panel_id == "") {current_panel_id = default_panel};
	showPanel(current_panel_id);
});