function System_ImbedDocument_Onload ( xmlHttp, tagId )
{
  var html, tag;
  if (xmlHttp.status == 200) html = xmlHttp.responseText;
  else html = "("+xmlHttp.status+") "+xmlHttp.statusText;

  tag = document.getElementById(tagId);
  if (tag != null) tag.innerHTML = html;
  else alert("Error Imbedding Document to <" + tagId + ">.");
}

function System_ifdef  ( symbol ) { return (typeof(window[symbol]) != "undefined"); }
function System_ifndef ( symbol ) { return (typeof(window[symbol]) == "undefined"); }
function System_define ( symbol, reference ) { window[symbol] = reference; }