// Routine to flip display of DIV and call ajax update
function flipf(btn, thiscat)
{
	rnd = Math.random().toString().substring(2);
    myurl1 = myurl + "&rnd=" + rnd;

    btn = Element.extend(btn);
    
	if(btn.hasClassName("ccclose"))	{
		btn.writeAttribute('class', 'ccopen');
		btn.up('.cat-list-head').addClassName('cat-list-head-inactive');
		$('flist'+thiscat).hide();
		myurl1 = myurl1 + "&cset=" + thiscat;
	} else {
		btn.writeAttribute('class', 'ccclose');
		btn.up('.cat-list-head').removeClassName('cat-list-head-inactive');
		$('flist'+thiscat).show();
		myurl1 = myurl1 + "&cunset=" + thiscat;
	}

	
	new Ajax.Request(myurl1, {
	  method: 'get'
	});
	
	btn.blur();
}

function doNothing() {
	
}