function selections(item, max)
{
	var str;
	var mycol;
	var mydiv;
	for(var i=1;i<=max;i++)
	{
		mycol = eval("col"+i);
		mydiv = eval("isi"+i);
		if (item==i)
		{
			mycol.className = "menu_kiri_hover";
			//mydiv.style.display = "block";	
			str = mycol.innerHTML;
			//if (document.all)
			//	judul_bagian.innerHTML = str.replace(/&nbsp;&nbsp;&nbsp;<BR>/,"").replace(/&nbsp;&nbsp;&nbsp;<BR>/,"");
			//else
			//	judul_bagian.innerHTML = str.replace(/&nbsp;&nbsp;&nbsp;<br>/,"").replace(/&nbsp;&nbsp;&nbsp;<br>/,"");
		}
		else
		{
			mycol.className = "menu_kiri";
			//mydiv.style.display = "none";	
		}
	}
}

function TitleFormat(str)
{
	if (document.all)
		str = str.replace(/&nbsp;&nbsp;&nbsp;<BR>/,"").replace(/&nbsp;&nbsp;&nbsp;<BR>/,"");
	else
		str = str.replace(/&nbsp;&nbsp;&nbsp;<br>/,"").replace(/&nbsp;&nbsp;&nbsp;<br>/,"");
	return str;
}