function menu_show(menu)
{
	document.getElementById(menu).style.display='inline';
}

function menu_hide(menu)
{
	document.getElementById(menu).style.display='none';
}

function change_pic(name_pic,name_file)
{
	name_pic.src=name_file.src;	
}