function show(id){
	document.getElementById(id).style.display = "block";
}
function mask(id){
	document.getElementById(id).style.display = "none";
}
function showBlind(id){
	new Effect.BlindDown(id); 
}
function maskBlind(id){
	new Effect.BlindUp(id);
}
function show_mask(id){
	if(	document.getElementById(id).style.display == "none"){
		document.getElementById(id).style.display = "block";
	} else {
		document.getElementById(id).style.display = "none";
	}
}

function show_info(){
	show('cache');
	mask('info_red');
	show('info_dev');
}
function mask_info(){
	mask('cache');
	mask('info_dev');
	show('info_red');
}