/*Object.extend(Element, 
{
    setWidth: function(element, w)
    {
        element = $(element);
        element.style.width = w + "px";
    },
    setHeight: function(element, h)
    {
        element = $(element);
        element.style.height = h + "px";
    },
    setTop: function(element, t)
    {
        element = $(element);
        element.style.top = t + "px";
    },
    setSrc: function(element, src)
    {
        element = $(element);
        element.src = src;
    },
    setHref: function(element, href)
    {
        element = $(element);
        element.href = href;
    },
    setInnerHTML: function(element, content)
    {
        element = $(element);
        element.innerHTML = content;
    }
});*/