They had about 4.5 million at the end of the June quarter and you forgot that they already paid 1 million. Leaves them with less than 4 million.