// JavaScript Document
var on_menu_color = '';
var on_menu_deco = '';

function tag(id)
{
	on_menu_color = document.getElementById(id).style.color;
	on_menu_deco = document.getElementById(id).style.textDecoration;
	document.getElementById(id).style.color='#E05F00';
	document.getElementById(id).style.textDecoration='underline';
}

function untag(id)
{
	document.getElementById(id).style.color=on_menu_color;
	document.getElementById(id).style.textDecoration=on_menu_deco;
	on_menu_color = '';
	on_menu_deco = '';		
}