// JavaScript Document

function change_style(id, class_name)
{
	document.getElementById(id).className=class_name;
}