5 a % 12