// JavaScript Document

function changeNavi(button,nav_arr){
	var clicked = document.getElementById(button);
	var sub_navi = document.getElementById('sub_navi');
	var button_arr = document.getElementsByName('nav_button');
	var buttons = button_arr.length;
	var sub_inner = '';
	
	var i_all = -1;
	for (i in nav_arr) {
		i_all++;
	}

	var i_l = 0;
	for (i in nav_arr) {
		var http_ = nav_arr[i].substring(0,10);
		if(http_ == 'newTarget|'){
			var target = ' target="_blank"';
			var url = nav_arr[i].substring(10);
		}else{
			var target = '';
			var url = nav_arr[i];
		}
		
		sub_inner += '<a href="' + url + '" class="sub"' + target + '>' + i + '</a>';
		
		if(i_l < i_all)
			sub_inner += '';
			
		i_l++;
	}
	sub_navi.innerHTML = sub_inner;
}