A Counting Formula of the Symplectic Semi-characteristic