<!--
function load() {
  var html_validator='http://validator.w3.org/check';
  document.html_validator.uri.value='http://';
  document.html_validator.action=html_validator;
}
// -->