#!/usr/bin/python import sys #contentfile = sys.argv[1] #contentfile = sys.stdin content = sys.stdin.read() pre = """