Verruciform xanthoma.