printf31/12