function $$(id)
{
    return document.getElementById(id);
}

function change_tab(divId,titleId,num,all,currentCss,normalCss) {
	
	for(i=1 ; i<=all ; i++) {
		var obj = $$(divId+i);
		//alert(divId+i);
		if(obj) {
			obj.style.display = "none";
			$$(titleId+i).className = normalCss;
		}
	}
	$$(divId+num).style.display = 'block';
	$$(titleId+num).className = currentCss;	
}