When can he withdraw these coins?