This file is to calculate some properties