( 7447 13 .)