function faq(faq) {
  if(Element.hasClassName(faq,'selected')) {
    Element.removeClassName(faq,'selected');
  } else {
    Element.addClassName(faq,'selected');
  }
  return false;
}

function section_highlighter(section) {
	var items = document.getElementsByClassName('current', $('menu'));
	for(i=0; i<items.length; i++) {
		Element.removeClassName(items[i],'current')
	}
  Element.addClassName($(section),'current')
  return false;
}