// JavaScript Document
function setClass() {
	var c = setClass.arguments[0];
	for(i = 1; i < setClass.arguments.length; i++) {
		document.getElementById(setClass.arguments[i]).className = c;
	}

}