function popup_on() {
	document.all.popup.style.visibility='visible';
	document.all.popup.style.display='block';
}

function popup_off() {
	document.all.popup.style.visibility='hidden';
	document.all.popup.style.display='none';
}