In a perfect solution print() would get the name of the file ;)

But just if you would like to have this perfect, still good enough for anyone (hm, why did I reachengine before to learn how to do that when this was written here...)