function AugMenuHide() {
    if (document.getElementById('visible') != undefined) { document.getElementById('visible').style.left = '-9999px'; };
	}

function AugMenuShow() {
    if (document.getElementById('visible') != undefined) { document.getElementById('visible').style.left = '0'; };
	}