// JavaScript Document
// Настройки интернет-клиента.
// Для документов, участвующих в начальной настройке интернет-клиента.

// Версия дистрибутива
var ClientVersion = '5.20.021.07';

function goToLocation( l) { document.location = l; }

function putVersion()
{
  var e = document.getElementById("client_version");
  if ( e ) e.innerText  = ClientVersion;
}

//eof