def getheaderAnim(im):
 bb = 'GIF89a'
 bb += intToBin(im.size[0])
 bb += intToBin(im.size[1])
 bb += '\x87\x00\x00'
 return bb

def getheaderAnim ( im ) : bb = 'GIF89a' bb += intToBin ( im . size [ 0 ] ) bb += intToBin ( im . size [ 1 ] ) bb += '\x87\x00\x00' return bb
animation header .