// JavaScript Document
function setting_tabs(id)
{
	var tabs=new Array("index","empty");
	for(i=0;i<tabs.length;i++)
	{
		if(tabs[i]!=id)
			{
				document.getElementById(tabs[i]).style.display="none";
			}
		else
			{
				document.getElementById(tabs[i]).style.display="block";
			}
	}
}


function change(id, newClass) {
	identity=document.getElementById(id);
	identity.className=newClass;
}