Dokumentet var tryckt med röda,