function FindServer() {

    // Show the animation.
    //
    document.getElementById('theanim').className='';
    
    // Set the timer.
    //
    setTimeout("FindServerOK()", 15000)
}

function FindServerOK() {

    // Hide the animation.
    //
    document.getElementById('theanim').className='noshow';

    // Hide the servers.
    //
    document.getElementById('theservers').className='noshow';
        
    // Show the link.
    //
    document.getElementById('thelink').className='';
    
    
}