( den Olde Juli ) kostade öst omkring 800 man.