function toggle_stretcher(id) {
	if (document.getElementById(id).firstChild.className == 'open') {
		document.getElementById(id).firstChild.className = 'closed';
	} else {
		document.getElementById(id).firstChild.className = 'open';
	}
}