function swap_class(td,class_name){
	if(document.getElementById || (document.all && !(document.getElementById))) {
		td.className=class_name;
	}
}

function swap_class_id(id,class_name){
	if(document.getElementById || (document.all && !(document.getElementById))) {
		var oElement = document.getElementById(id);
		oElement.className=class_name;
	}
}

function openWin(a, b, c) {
	window.open(a, b, c);
}