#!/bin/sh wdiff-colours "$6" "$7"