$dokuart != $old_docu