Makassar.com domain name sells for $40,000 on Sedo