function display_dropdown(drop_down_name){
	document.getElementById(drop_down_name).style.margin='0em';
}

function dropdown_disappear(drop_down_name){
	document.getElementById(drop_down_name).style.margin='0em 0em 0em -999em';
}