<!--

if (document.images)
    {
    home_on = new Image(100, 20);
    home_on.src = "images/buttons/home_hover.gif";
    home_off = new Image(100, 20);
    home_off.src = "images/buttons/home.gif";
    web_on = new Image(100, 20);
    web_on.src = "images/buttons/web_hover.gif";
    web_off = new Image(100, 20);
    web_off.src = "images/buttons/web.gif";
    embedded_on = new Image(100, 20);
    embedded_on.src = "images/buttons/embedded_hover.gif";
    embedded_off = new Image(100, 20);
    embedded_off.src = "images/buttons/embedded.gif";
    help_on = new Image(100, 20);
    help_on.src = "images/buttons/help_hover.gif";
    help_off = new Image(100, 20);
    help_off.src = "images/buttons/help.gif";
    policy_on = new Image(100, 20);
    policy_on.src = "images/buttons/policy_hover.gif";
    policy_off = new Image(100, 20);
    policy_off.src = "images/buttons/policy.gif";
    }
    
function mouse_action(img_name, action)
{
	if (document.images)
		{
		mouse_action_img = eval(action + ".src");
		document[img_name].src = mouse_action_img;		
		}
}
//-->