old_contents: __version__='1.9.11'
  
  # import geo
  # import graphics
  # import gui
  # import util
  
  def get_version():
      return __version__
new_contents: __version__='1.9.12'
  
  # import geo
  # import graphics
  # import gui
  # import util
  
  def get_version():
      return __version__
subject: Set version to 1.9.12