void main() { char filename[30]; cout