This is the current Openkey dtd at UIUC as of November 2002