<!--

function clearForm(el) {
	if ( el.defaultValue == el.value ) el.value = "";
}

function checkManhattan(all_manhattan)
{
	var areas = [
		'column_area_1', // Chelsea
		'column_area_2', // Chinatown
		'column_area_3', // Columbia U
		'column_area_4', // East Harlem
		'column_area_5', // East Midtown
		'column_area_6', // East Village
		'column_area_7', // Financial District
		'column_area_8', // Gramercy Park
		'column_area_9', // Greenwich Village
		'column_area_10', // Inwood
		'column_area_11', // Little Italy
		'column_area_12', // Lower East Side
		'column_area_13', // Murray Hill
		'column_area_14', // Roosevelt Island
		'column_area_15', // Soho
		'column_area_16', // Tribeca
		'column_area_17', // Upper East Side
		'column_area_18', // Upper West Side
		'column_area_19', // Washington Heights
		'column_area_20', // West Harlem
		'column_area_21', // West Midtown-Clinton-Hells Kitchen
		'column_area_22' // West Village
	];
	if (all_manhattan.checked)
	{
		for (var i=0; i<areas.length; i++)
			document.getElementById(areas[i]).checked = true;
	}
		else
	{
		for (var i=0; i<areas.length; i++)
			document.getElementById(areas[i]).checked = false;
	}
}

function checkBrooklyn(check)
{
	var areas = [
		"column_area_25", // Boerum Hill
		"column_area_26", // Brooklyn Heights
		"column_area_27", // Bushwick
		"column_area_28", // Carroll Gardens
		"column_area_29", // Clinton Hill
		"column_area_30", // Dumbo
		"column_area_31", // Fort Greene
		"column_area_32", // Greenpoint
		"column_area_33", // Park Slope
		"column_area_34", // Red Hook
		"column_area_35", // Sunset Park
		"column_area_36" // Williamsburg
	];
	if (column_area_24.checked)
	{
		for (var i=0; i<areas.length; i++)
			document.getElementById(areas[i]).checked = true;
	}
		else
	{
		for (var i=0; i<areas.length; i++)
			document.getElementById(areas[i]).checked = false;
	}
}
//-->