Editing: check_digit.php