These are two commands separated by <ENTER> If MyDocs will get formatted fine, then df will show the amount of free space like it was setup by Nokia.