function setFilter(f)
{
    if ( !f) window.location.href = 'index.php?category=';
    else window.location.href = 'index.php?category='+escape(f);
}