function setElementHeight(id_object,id_source, used_height) {
	var sh = document.getElementById(id_source).clientHeight
	this.document.getElementById(id_object).style.height = sh - used_height

} //


function A_Href_StatusBar(txt)
{ 
  window.status = txt;
}

function A_Href_Over(txt,iname,ipath)
{
  if( iname!='')
    document.images[iname].src = ipath+iname+'_over.gif';   
  window.status = txt;
}

function A_Href_Out(iname,ipath) { 
  if( iname!='')
    document.images[iname].src = ipath+iname+'.gif';   
  window.status = ''; 
}    

function preloadImages() { //v2.0
  if (document.images) {
    var imgFiles = preloadImages.arguments;
    if (document.preloadArray==null) document.preloadArray = new Array();
    var i = document.preloadArray.length;
    with (document) for (var j=0; j<imgFiles.length; j++) if (imgFiles[j].charAt(0)!="#"){
      preloadArray[i] = new Image;
      preloadArray[i++].src = imgFiles[j];
  	}
 }
}

function OpenWindow(URL, x, y, parameters) {
    var left_, top_;

    with (window.screen) {
        left_ = width/2 - x/2;
        top_ = height/2 - y/2;
    }

	myurl = "URL"+Math.floor(Math.random()*10000);
	aWindow = 
window.open(URL, myurl, "top=" + top_ +  ",left=" + left_ + ",width="+x+",height="+y+",toolbar=0,directories=0,menubar=0,status=no,resizable=0,location=no,scrollbars=0,copyhistory=0,"+parameters);
	aWindow.focus();
}