1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3 <html xmlns="http://www.w3.org/1999/xhtml" dir="<pun_content_direction>">
5 <meta http-equiv="Content-Type" content="text/html; charset=<pun_char_encoding>" />
11 <div id="punredirect" class="pun">
14 <h2><pun_redir_heading></h2>
17 <p><pun_redir_text></p>