function ransetup() {
	rando();
	window.setInterval('rando()', 10000);
}

function rando() {
	document.getElementById('ran').src = 'random/kfx' + Math.ceil(Math.random() * 12) + '.gif'
}