( 11543 . ''