function hover_on(which)
{
which.className = 'navigation2';
}
function hover_off(which)
{
which.className = 'navigation';
}