Sale proceeds of inter state property is included in: