function clrDetail() {
	document.getElementById('det1').className='hidden';
	document.getElementById('det2').className='hidden';
	document.getElementById('det3').className='hidden';
	document.getElementById('det4').className='hidden';
}

function vulDetail(detailID) {
	clrDetail();
	document.getElementById('det'+detailID).className='show';
}