5232 ) [ 8544]