function tt_get_src(img)
{
    if (img.original_src)
        return img.original_src;
    else
        return img.src;
}

function tt_enter(id)
{
    img = document.getElementById(id);
    img.src = tt_get_src(img).replace(".png", "-hover.png");
}

function tt_leave(id)
{
    img = document.getElementById(id);
    img.src = tt_get_src(img).replace("-hover.png", ".png");
}

function tt_init()
{
    if (document.domain)
    {
        function preload(n)
        {
            img = new Image();
            img.src = "http://" + document.domain +
                      "/wp-content/themes/cucina/styles/default/" +
                      n + "-hover.png";
        }
        preload("home");
        preload("informazioni");
        preload("archivio");
        preload("collegamenti");
    }

    if (document.supportPngAlpha)
        setPngAlpha();
}