/* read.cgi HTML definitions for English version */
#include "r2chhtml.h" // dummy