INCLUDE 'herwig6507.inc'