朱書きを赤書きって言うのは一般的なのかね?