using numbers as keys; printing to file