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

    function initialize ()
    
        {
        $ ("contact") . action = "./mail.php";
        
        return;
        }