--- 1695680.2349.output	2016-05-17 21:39:43.764882608 +0200
+++ 2349.out	2016-03-06 10:33:16.000000000 +0100
@@ -1 +1 @@
-3249
+2349