( Q , 2539x12 .)