use CGI":all";charset$c='EUC-JP';$_=path_info;/:/?s|^/||:($_="http:/$_");put
header,start_html(-Title,"7jump",encoding,$c,lang,ja),p(strong(a{href,$_},
escapeHTML$_).br.<DATA>),hr,address(<DATA>),end_html