function DocName(){
   var url = document.URL
   var pos1 = url.lastIndexOf( "\\" )+1
   
   if( pos1 == 0 ){
      pos1 = url.lastIndexOf( "/" )+1
   }
   var pos2 = url.lastIndexOf( "." )
   
   var name = url.substring(pos1,pos2)
   return name
}

function mOvr(src,clrOver) {
	if (!src.contains(event.fromElement)) {
		src.style.cursor = 'hand';
		src.bgColor = clrOver;
	}
}

function mOut(src,clrIn) {
	if (!src.contains(event.toElement)) {
		src.style.cursor = 'default';
		src.bgColor = clrIn;
	}
}

function mClk(src) {
	if(event.srcElement.tagName=='TD'){
		src.children.tags('A')[0].click();
	}
}