var gethtml = document.getElementById("flag").innerHTML;

function unfold() {
	document.getElementById("showall").style.height = 225+"px";
	document.getElementById("flag").style.height = 0+"px";
}

function fold() {
	document.getElementById("showall").style.height = 0+"px";
	document.getElementById("flag").style.height = 41+"px";
}

function over(){
	document.getElementById("flag").innerHTML = "";
	unfold();
}

function out() {
	document.getElementById("flag").innerHTML = gethtml;
	fold();
}