12x31 ] ( 609 .)