function change_class_name (id,clasa) {
	//var element1 = document.getElementById(id);
  document.getElementById(id).className=clasa;
}