// JavaScript Document

function ChangeStyle(obj, new_style) {
obj.className=new_style;
}