// $HeadURL$
// $Date$
// $Author$

module dstress.run.named_entity_03;

// "-//W3C//ENTITIES Special//EN//HTML"

int main(){
	assert('\"'==34);
	assert('\&'==38);
	assert('\<'==60);
	assert('\>'==62);
	assert('\Œ'==338);
	assert('\œ'==339);
	assert('\Š'==352);
	assert('\š'==353);
	assert('\Ÿ'==376);
	assert('\ˆ'==710);
	assert('\˜'==732);
	assert('\ '==8194);
	assert('\ '==8195);
	assert('\ '==8201);
	assert('\‌'==8204);
	assert('\‍'==8205);
	assert('\‎'==8206);
	assert('\‏'==8207);
	assert('\–'==8211);
	assert('\—'==8212);
	assert('\‘'==8216);
	assert('\’'==8217);
	assert('\‚'==8218);
	assert('\“'==8220);
	assert('\”'==8221);
	assert('\„'==8222);
	assert('\†'==8224);
	assert('\‡'==8225);
	assert('\‰'==8240);
	assert('\‹'==8249);
	assert('\›'==8250);
	return 0;
}