BIPUSH
12
BIPUSH
5
IADD