function openmenu(id) {
	menulist = document.getElementById(id);
	if (menulist) {
		menulist.style.display = "block";
	}
	return false;
}

function selectAll() {
	theForm = $('page_contents');
	elements = theForm.elements;
	new_state = elements['select_all'].checked;

	for (i=0; i<elements.length; i++) {
		element = elements[i];
		if (element.type == 'checkbox' && element.name != 'select_all') {
			element.checked = new_state;
		}
	}

}