function openRed(red_height){

	document.getElementById('red').style.display = '';
}