function change_class(id,new_class)
{
	document.getElementById(id).className=new_class;
}