function stringReplace(originalString, findText, replaceText) {
	var pos = 0
	var len = findText.length
	pos = originalString.indexOf(findText)
	while (pos != -1) {
		preString = originalString.substring(0, pos)
		postString = originalString.substring(pos+len,originalString.length)
		originalString = preString + replaceText + postString
		pos = originalString.indexOf(findText)
	}
	return originalString
}

newDocName = stringReplace(oldDocName, ".htm", ".pdf")

document.write("<p>This document is also available in PDF format: <span class=\"small\">[<a href=\"" + newDocName + "\"><img src=\"/mafnet/icons/pdf-icon.gif\" width=\"15\" height=\"16\" border=\"0\" alt=\"PDF version\" hspace=\"5\">" + newDocName + "</a> \]</span></p>")