function chlang( dst ) {
  if ( dst > "") top.document.location.replace(dst);
  return false;
}