#!/bin/sh
diff -w "$6" "$7"
exit 0
