function alternate_divs(id2hide, id2show) {
document.getElementById(id2hide).style.display='none';
document.getElementById(id2show).style.display='inline'}