4 1 | a 5 12