function goRed (objectRef)
{objectRef.oldcolor=objectRef.style.color
objectRef.style.color="Red"}
function revertColor (objectRef)
{objectRef.style.color=objectRef.oldcolor}
var cursection=null
function switch_sections (clicked_section)
{if (cursection !=null){cursection.style.display='none'}
if(clicked_section==cursection){cursection=null}else{clicked_section.style.display="";
cursection=clicked_section;}}