There is any doubt of a function called to_isbn13 do?