isDOM=(document.getElementById)?true:false
  isOpera=isOpera5=window.opera && isDOM
  isOpera6=isOpera && window.print
  isOpera7=isOpera && navigator.userAgent.indexOf("Opera 7") > 0 || navigator.userAgent.indexOf("Opera/7") >= 0
  isMSIE=isIE=document.all && document.all.item && !isOpera
  isNC=navigator.appName=="Netscape"
  isNC4=isNC && !isDOM
  isNC6=isMozilla=isNC && isDOM

function over(graphName) {
	im_over=eval("over_"+graphName+".src");
	document.images[graphName].src=im_over;
	}
function out(graphName) {
	im_out=eval("normal_"+graphName+".src");
	document.images[graphName].src=im_out;
	}
function getHeight(obj_id){
	var o=document.getElementById(obj_id)
	if(isMSIE || isNC6 || isOpera7) return o.offsetHeight
	if(isOpera5) return this.css.pixelHeight
	if(isNC4) return o.document.height
	}
function setHeight(obj_id,h){
	var o=document.getElementById(obj_id)
	if(isMSIE || isNC6 || isOpera7) o.height = h
	}
function set_ok(){
	setHeight("main",10);
	h=getHeight("main");
	ostatok=(32-h%32);
	setHeight("main",h+ostatok+1);
	}