12071x2 ) ( 6536 .)