Omkring 800,000 timmer hafvaunder