// JavaScript Document

function toggle_showslist(){
	var extrashowsdiv = document.getElementById('extrashowsdiv')
	var showallshowslink = document.getElementById('showallshowslink')
	var showtherestlink = document.getElementById('showtherestlink')
	if(extrashowsdiv.className=='hidden'){
		// reveal it
		extrashowsdiv.className=''
		showallshowslink.innerHTML="hide"
		showtherestlink.className='hidden'		
	}else{
		//hide it
		extrashowsdiv.className='hidden'
		showallshowslink.innerHTML="show all"
		showtherestlink.className=''		
	}
}