EAN-13 tester

def zaok(z):
  h=int(z/10)
  h=h+1
  out=h*10
  if z%10==0:
    out=z
  return out

EAN=input("EAN: ")
y=int(EAN[10])+int(EAN[8])+int(EAN[6])+int(EAN[4])+int(EAN[2])+int(EAN[0])
x=int(EAN[11])+int(EAN[9])+int(EAN[7])+int(EAN[5])+int(EAN[3])+int(EAN[1])
x*=3
o=zaok((x+y))

if (o-(x+y))==int(EAN[12]):
  print("EAN: valid")
else:
  print("EAN: invalid")