a := 17
a := 18
a := 20
a := 23
a := 27
a := 32
