// JavaScript Document

var ui = document.getElementById('ui');
var uiSrc = ui.src;

function showUI(filename){
	var src	= ui.src.replace(/[^/]+$/, filename);
	ui.src	= src;
	}
	
function resetUI(){
	ui.src = uiSrc;
	}