function formatURL()
{
    // do nothing if hash with state is already set
    if (document.location.href.indexOf('#') != -1)
        return;

    // convert pseudo .html to state
	var arr = document.location.href.split('/');
	var param = arr[arr.length - 1].split('.html');
	arr[arr.length - 1] = '#' + ((param[0] == '#') ? '' : param[0]);
	document.location.href = arr.join('/');
}

function gotoState(stateID)
{
	document.location.hash = 'museion';
	alert(document.location.hash);
}