( ' 13442 .)