HDCS9-156039439P:defunct abc$ cat DEFUNCT.txt  
1087016121 
1082970465 
1078036045