function drop_down(menu)
{
	document.getElementById('dropmenu' + menu).style.display = "";
}
function roll_up(menu)
{
	document.getElementById('dropmenu' + menu).style.display = "none";
}