function showElement(el) {
	p = document.getElementById(el);
	if(p!=undefined) {
		if(p.style.display=='none')p.style.display='block';
		else p.style.display='none';
	}
}
function showLinks(e) {
	e.getElementsByTagName('ul')[0].style.display='block';
	e.className='withBorder';
}
function hideLinks(e) {
	e.getElementsByTagName('ul')[0].style.display='none';
	e.className = 'expandLinks';
}