function Highlight(IDENT,SRC) { document.getElementById(IDENT).src = SRC; }

function IndexLoad(Page,Title) {
	document.options.PageSelected.value = Page;
	document.options.PageTitle.value = Title;
	document.options.submit();
}

function LangChange(Language) {
	document.options.PageLang.value = Language;
	document.options.submit();
}