# setext“เ‚ฬ•S‰ศŽ–“T‚ฬˆ๘—p‚๐ฎŒ`‚ท‚้
BEGIN {x=0}
/^[^s]+s[^t]+t$/{
	if (x==1) {print "</DL>";x=0};
	printf("<DL><DT>\n<H3>%s</H3>\n<DD>",$0);
	x=1}
/^<P>$/ {if (x==1) {print "</DL>";
	x = 0 ;}}
/^\t@/ {printf("<BR>%s",$0)}
/^\ty/ {printf("<BR>%s",$0)}
/^        @/ {printf("<BR>%s",$0)}
/^        y/ {printf("<BR>%s",$0)}
!(/^        @/||/^        y/ || /^\t@/ || /^\ty/ ||
	/^[^s]+s[^t]+t$/ || /^™[^ ]$/){print $0}
END {
	if (x==1) {print "</DL>"};
}