12408x2 ) ( 6148 .)