function onFocusIn(control)
{
    control.style.borderColor = "DarkBlue";
}

function onFocusOut(control)
{
    control.style.borderColor = "DarkGray";
}

function onMouseOver(control, image)
{
    control.src = "Images/AT2005/" + image + "_over.gif";
}

function onMouseOut(control, image)
{
    control.src = "Images/AT2005/" + image + ".gif";
}

function onMouseDown(control, image)
{
    control.src = "Images/AT2005/" + image + "_down.gif";
}