13255 . ) ( 10243.