<!------------------------------------------------------------------>
<!-- Library.js                                                  -->
<!------------------------------------------------------------------>

//------------------------------------------------------------
// InitLayers
//------------------------------------------------------------
function InitLayers() {
	tickinit();
}

//------------------------------------------------------------
// Restore
//------------------------------------------------------------
function Restore() {}



// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
// chen
//
//       str: string to be displayed
//      name: name of input field object
//        ht: height of button
//        wd: width of button
//       top: absolute upper starting position of button
//      left: absolute left starting position of button
//
//      "ad" is the id field of the "input" tag which 
//       is needed to place the location of the box
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
function chen(str, name, ht, wd, top, left)
{
	document.getElementById(name).setAttribute("value", str);
	if (top > 0) document.getElementById(name).style.top = top+"px";
	document.getElementById(name).style.left = left+"px";

	document.getElementById(name).style.height = ht+"px";
	document.getElementById(name).style.width = wd+"px";

	document.getElementById(name).style.visibility= "visible";
}


// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
// dis
//
//      name: name of input field object
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
function dis(name)
{
	document.getElementById(name).setAttribute("value", "");
//	document.getElementById(name).style.top = 0+"px";
//	document.getElementById(name).style.left = 0+"px";

	document.getElementById(name).style.height = 0+"px";
	document.getElementById(name).style.width = 0+"px";

	document.getElementById(name).style.visibility= "hidden";
}

//  End -->