from the server dump