function $ (id)
    
        {
        return (document . getElementById (id));
        }

    window . onload = function ()
    
        {
        setupCheckers ();
        
        return;
        }