function display_details(div_name) {
	var divs = document.getElementById('html_areas').getElementsByTagName('DIV');
	var i = 0;
	for (i=0; i<divs.length; i++) {
		if (divs[i].className=='answers_show') {
			divs[i].className='answers';
		}
	}
	document.getElementById(div_name).className='answers_show';
}