abundant number (12)