// This function simply toggles the visibility of the element specified by id
function toggleDisplayBlock(idOf)
{
	var element = document.getElementById(idOf);
	if (element != undefined)
	{
		if (element.style.display == 'none')
		{ element.style.display = 'block'; }
		else
		{ element.style.display = 'none'; }
	}
}

var filterTimerId = undefined;
function filterUpdate(func)
{
	if (filterTimerId != undefined)
	{
		window.clearTimeout(filterTimerId);
	}
	filterTimerId = window.setTimeout(func, 500);
}

// do page initialization stuff here
// we do a few things here to provide a decent experience even 
// if JavaScript is turned off
function init()
{
	toggleDisplayBlock('new_reply_form_parent');
}