a := 17
a := 18
a := 20
a := 23
