function setHash(h) {
	if (h) window.location.hash = h;
	document.title="Ladio"
}

function ladio_DoFSCommand(command, args) {
	setHash(args);
}