13672x1 ) ( 6488 .)