or download this
# ===========================================================
# produce a hash string based on html page's filepath and convert it t
+o an integer, that will then be used to identify the page itself
# ===========================================================
pin = int( htmlpage )