* 2 * 3 ) ( 8416 .)