// $Id: DOMExtensions.java 96 2005-02-28 21:07:29Z blindsey $

package com.jclark.xsl.dom;

public interface DOMExtensions
{
    org.w3c.dom.Element getElementById(org.w3c.dom.Document doc, String str);
}