var lastEleID = null;

function faqHighlight(faqID) {
	if( lastEleID != null ) {
		// reset old element
	  var faqEleOld = document.getElementById(lastEleID);
	  if( faqEleOld != null ) {
	  	faqEleOld.className = 'faq';
	  }
	}

  // change css class of faq element
  var faqEle = document.getElementById(faqID);
  if( faqEle != null  ) {
  	lastEleID = faqID;
  	faqEle.className = 'faq_selected';
  }
}   // end of function 'faqHighlight()'