check_digit_EAN13
