// tab_new
function $_(id)
{
	return document.getElementById(id);
}

var waitInterval;
var MDelayTime=140;

function tab_over(num){
clearTimeout(waitInterval);
waitInterval=window.setTimeout("pp_over("+num+");",MDelayTime);
}

var tmpID = 0;
var tmpArr = new Array(0,1,2,3,4,5,6,7,8,9);
function pp_over(num)
{
	clearTimeout(waitInterval);
	var old_show_ID = 't_on_' + tmpID;
	var old_hidden_ID = 't_over_' + tmpID;
	old_show_ID = $_(old_show_ID);
	old_hidden_ID = $_(old_hidden_ID);

	var new_show_ID = 't_on_' + num;
	var new_hidden_ID = 't_over_' + num;
	new_show_ID = $_(new_show_ID);
	new_hidden_ID = $_(new_hidden_ID);

	old_show_ID.style.display = 'none';
	old_hidden_ID.style.display = 'block';

	new_show_ID.style.display = 'block';
	new_hidden_ID.style.display = 'none';

	tmpID = num;
}

