<!--

var b='#000000'

function set_color(a,c)
{
 b=a.style.color
 a.style.color='#'+c
 return
}

function reset_color(a)
{
 a.style.color=b
 b='#000000'
 return
}

//-->