function append_div(name)
{
	name2 = name+"2";
	div1 = document.getElementById(name);
	div2 = document.getElementById(name2);
	if(div1&&div2){
	div1.appendChild(div2);
	}
}

function set_high(id)
{
	tab = document.getElementById(id);
	if(tab){
	tab.className = "h";
	}
}