12985X5- ) ( 7493 .)