/**
* Per quei browser che NON supportano correttamente il DOM, simulo il metodo
* getElementById tramite un'altra funzione
*/

function getById(attr_id)
{
    return(document.all[attr_id])
}

if(document.all && !document.getElementById)
    document.getElementById = getById;