Yes, I remember them being 500. At that time the value of a dollar was a lot higher than it is today.