# Write a Python Script to change name of a file to its timestamp import timeimport os    # Getting the path of the filef_path = "/location/to/gfg.png"  # Obtaining the creation time (in seconds)# of the file/folder (datatype=int)t = os.path.getctime(f_path)  # Converting the time to an epoch string# (the output timestamp string would# be recognizable by strptime() without# format quantifers)t_str = time.ctime(t)  # Converting the string to a time objectt_obj = time.strptime(t_str)  # Transforming the time object to a timestamp# of ISO 8601 formatform_t = time.strftime("%Y-%m-%d %H:%M:%S", t_obj)  # Since colon is an invalid character for a# Windows file name Replacing colon with a# similar looking symbol found in unicode# Modified Letter Colon " " (U+A789)form_t = form_t.replace(":", "꞉")  # Renaming the filename to its timestampos.rename(    f_path, os.path.split(f_path)[0] + '/' + form_t + os.path.splitext(f_path)[1])