<!--



//navigation functions

function showmenu(layerid) {
	                    document.getElementById(layerid).style.visibility="visible";
                           }

function hidemenu(layerid) {
                            document.getElementById(layerid).style.visibility="hidden";
                           }

//-->