function format(num) {

   var a = num+""
   var b = a.length
   var c = a.indexOf(".")
   var d = 0
   var e = c

   if (c != -1) { // float
      if (a.charAt(b-2) == ".") { // with 1 digit to right of decimal 
         num += "0"
	 return num
      }
      else if (c+3 != b) { // any format except 1 -or- 2 digits to right
         e++
	 if (a.charAt(e) == "0") {
            e++
            if (a.charAt(e) == "0") e++
         }
         d = a.substring(e, c+4) // fractional amount (up to 3 digits)
	 if (num > 1.0) a = parseInt(a) // integer portion
	 else a = 0
	 d = parseInt(d)
         d += 5         
	 if (d > 999) {
	    a++
            d -= 1000
         }
         if (d < 10) d = "00"
         else if (d < 100) {
            d = parseInt(d/10)
            d = "0"+d
         }
         else d = parseInt(d/10)
	 return (a+"."+d)
      }
      else // already OK (2 digits to right of decimal))
         return num
   }
   else  // integer
      return (num + ".00")
}

function setCookie(name, value, expire) {

   document.cookie = name + "=" + escape(value) + ((expire == null) ? " " : ("; expires=" + expire.toGMTString()))

}


function getCookie(Name) {

   var search = Name + "="

   if (document.cookie.length > 0) {
      offset = document.cookie.indexOf(search)
      if (offset != -1) {
	offset += search.length
	end = document.cookie.indexOf(";", offset)
	if (end == -1)
	   end = document.cookie.length
	return unescape(document.cookie.substring(offset, end))
      }
   }
}