function showBoxSelectors()
{   

    document.getElementById('boxSelectors').innerHTML=  "(<a href=\"#\" onclick=\"checkAllTypes()\" style=\"color:#0d7b0d; font-weight:normal\">select all</a> | <a href=\"#\" onclick=\"unCheckAllTypes()\" style=\"color:#0d7b0d; font-weight:normal\">deselect all</a>)"
}

function checkAllTypes()
{
    field = document.getElementById('search-property-type').getElementsByTagName("input");

    for (i = 0; i < field.length; i++)
	field[i].checked = true ;
}

function unCheckAllTypes()
{
    field = document.getElementById('search-property-type').getElementsByTagName("input");

    for (i = 0; i < field.length; i++)
	field[i].checked = false ;
}