function goLevel(id) {
    if (id == null) {
        alert("goLevel: id is null.");
        return;
    }

    // If not the same as the currentState.id, add to history
    if (!sameId(currentState.id, id)) {
	currentState.history.push(id);
    }

    currentState.id = id;
    showContent();
}
// id should not be escaped, should be native
id should not be escaped, should be native
id should not be escaped should be native
function goLevel(id) {
    if (id == null) {
        alert("goLevel: id is null.");
        return;
    }
    if (!sameId(currentState.id, id)) {
	currentState.history.push(id);
    }
    currentState.id = id;
    showContent();
}
function goLevel ( id ) { if ( id == null ) { alert ( "goLevel: id is null." ) ; return ; } if ( ! sameId ( currentState . id , id ) ) { currentState . history . push ( id ) ; } currentState . id = id ; showContent ( ) ; }
id should not be escaped, should be native
id should not be escaped should be native
// If not the same as the currentState.id, add to history