<!--
// 現時開いているページに対応するリンクに右▲と下線をつける
function LMenuControl1( i ){
	// 標準的と思われる方法
	document.links[i].childNodes[0].src = '../images/right3.gif';
	document.links[i].style.textDecoration = "underline";
	//document.links[i].style.background="#ffffaa";
	//document.links[i].style.fontWeight="bold";
}

function LMenuControl(){
	var menuUrl = document.URL;
	var ar = menuUrl.split( "#" );
	var hash = ar[1];	// menu.phtmlのURLの#以降の部分。 'menu.html#hoge' なら、 hashは'hoge'
	
	if ( hash != undefined ){
		// hashがある。"_" + hash == link.idとなるものを探す。
		// なぜ hash == link.id となるようにidを設定しないのか? 理由はmenu.htmlが自動スクロールするのを避けるためである。
		hash = "_" + hash;
		for ( var i = 0; i < document.links.length; i++ ){
			if ( hash == document.links[i].id )
				LMenuControl1( i );
		}
	}
	else {
		// hashが無い。href==topUrlとなるものを探す。
		var topUrl = window.top.document.URL;
		
		for ( var i = 0; i < document.links.length; i++ ){
			//alert( document.links[i].href + "   " + topUrl );
			if ( document.links[i].href == topUrl ){ // たぶんここだろう。
				LMenuControl1( i );
				return;
			}
		}
		
		// href==topUrlが無い。ディレクトリが一致するものを探す
		var topDir = topUrl.substr( 0, topUrl.lastIndexOf( '/' )+1 );
		var len = topDir.length;
		for ( var i = 0; i < document.links.length; i++ ){
			if ( document.links[i].href.substr( 0, len ) == topDir ){ // たぶんここだろう。
				LMenuControl1( i );
				return;
			}
		}
	}
}
//-->