// JavaScript Document
<!--
function NewClass(obj, new_style) {
  obj.className=new_style;
}
//-->