var DOM = (document.getElementById)?true:false;
var NN = (document.layers)?true:false;
var IE = (document.all)?true:false;
var NN6 = DOM;
var Opera = DOM && window.opera;
function getElement(objname)
{
  if (IE) return document.all[objname];
  if (NN) return getNNElement(null, objname);
  if (DOM) return document.getElementById(objname);
}

      
function photoChange(url,text)
{
var photo=getElement("mainPhoto");
var textPhoto=getElement("photoText");
photo.src="/photo/"+url;
textPhoto.innerHTML=text;

}

function textChange(id)
{

var textMain=getElement("mainText");
textMain.innerHTML=mainTexts[id];
sizeScroller();
sizeScroller();
}