function sa() {
    if (document.getElementById)
	document.getElementById('arch').style.display='block'
    else if (document.all)
	document.all["arch"].style.display='block';
}

function ha() {
    if (document.getElementById)

    document.getElementById('arch').style.display='none'
    else if (document.all)
	document.all["arch"].style.display='none';
}