#!/bin/sh

old="$1"
new="$2"
html="$3"