Преобразование EAN-8 в EAN-13

У меня есть 8-значный код EAN, который я хотел бы преобразовать в код EAN-13.
Вы знаете какой-нибудь алгоритм, как это вычислить?

Или это просто добавление пяти нулей в начало EAN-8?
Например. EAN-8(1234 5678) становится EAN-13(00000 1234 5678)?