function chgTxt(no) {
	document.getElementById("cloud_text").innerHTML = txt[no];
	newno	= (no+1);
	if (newno>(txt.length-1)) { newno = 0; }
	setTimeout("chgTxt("+newno+");",5000);
}

function goSubNav(file) {
	alert(file);
}

function snGo(url1,url2) {
	if (url1) isubnavigation.location.href	= url1;
	if (url2) icontent.location.href		= url2;
}