function set_logo(logo)
{
	file = logo.src;
	arr = file.split('_grau.gif');
	logo.src = arr[0] + '.gif';
}

function set_grau(logo)
{
	file = logo.src;
	arr = file.split('.gif');
	logo.src = arr[0] + '_grau.gif';
}