function show_login_box(show) {
	if (show) { 
		document.getElementById('login_bar_contents').style.display='block'; 
		document.getElementById('login_bar_link').style.display='none'; 
	}
	else { 
		document.getElementById('login_bar_contents').style.display='none'; 
		document.getElementById('login_bar_link').style.display='block'; 
	};
}