function markBlock(obj, bg_color, border_color)
{
	obj.style.background = bg_color;
	obj.style.border = '1px solid '+border_color;
}

function unmarkBlock(obj, bg_color, border_color)
{
	obj.style.background = bg_color;
	obj.style.border = '1px solid'+border_color;
}

function hover_menu(id_name, file)
{
	document.getElementById(id_name).src = "upload/menu/"+file;
}

function show_flash(id) 
{
	document.getElementById(id).outerHTML = document.getElementById(id).outerHTML;
}