function $( id ) {
	return document.getElementById( id );
}

var current_id = 'default-content';

function show( id ) {
	$( current_id ).style.display = 'none';
	$( id ).style.display = 'block';
	current_id = id;
}