<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
body {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 12px;
}
table {
  font-size: 12px;
}
table.menu td {
  vertical-align: top;
  width: 12%;
  text-align: right;
  font-weight: bold;
  padding-bottom: 10pt;
}
table.schedule {
  border-collapse: collapse;
  empty-cells: show;
  vertical-align: top;
}
table.schedule th.time {
  text-align: right;
  width: 10%;
  border-right: 1pt solid;
}
table.schedule th.day {
  width: 18%;
  border-bottom: 1pt solid;
}
table.schedule td {
  border: 1pt solid;
}
p.pub {
  margin-left: 30px;
}
p.pub span.title {
  font-size: larger;
  font-weight: bold;
}
p.pub span.author {
}
p.abstract span.title {
  font-size: x-large;
  font-weight: bold;
  padding-bottom: 20pt;
}
p.abstract span.author {
  font-weight: bold;
}
table.contact {
  border-spacing: 5pt;
}
table.contact th {
  text-align: right;
  vertical-align: top;
  padding-bottom: 10pt;
}
table.contact td {
  vertical-align: top;
}
p.coauthors {
  font-size: small;
}
a {
  text-decoration: none;
}
a:link {
  color: blue;
}
a:hover {
  background-color: silver;
}
a:visited {
  color: purple;
}
div.frame {border:1px solid #000000;}
div.name {font-size: large; font-weight: bold;}
h2.sep {
  font-size: large;
  background-color: lightgrey;
  padding-left: 5pt;
  padding-bottom: 10pt;
  padding-top: 10pt;
}
h3.year {
  padding-left: 10pt;
}

/*
     FILE ARCHIVED ON 18:13:31 Jun 02, 2010 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 04:37:29 Dec 16, 2025.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.583
  exclusion.robots: 0.053
  exclusion.robots.policy: 0.042
  esindex: 0.011
  cdx.remote: 14.089
  LoadShardBlock: 116.429 (3)
  PetaboxLoader3.datanode: 136.836 (4)
  PetaboxLoader3.resolve: 364.83 (3)
  load_resource: 413.236
*/