function $(TID) {
	return document.getElementById(TID);
}

function showBgImage(index) {
	try {
		$("mainnav").getElementsByTagName("a")[index].className = "menu";
	}
	catch (e) {
	}
}

function chgH3_Style(id) {
	try {
		$(id).className = "sub";
	}
	catch (e) {
	}
}

function chgH4_Style(id) {
	try {
		$(id).className = "sub";
	}
	catch (e) {
	}
}