
<!-- ***** the time date box

var today = new Date(); var hrs = today.getHours(); var min = today.getMinutes();


function makeArray() {
var args = makeArray.arguments;
for (var i = 0; i < args.length; i++) {
this[i] = args[i];
}
this.length = args.length;
}

function fixDate(date) {
var base = new Date(0);
var skew = base.getTime();
if (skew > 0)
date.setTime(date.getTime() - skew);
}

function getString(date) {

var years = 2012 ;

var months = new makeArray("January", "February", "March",
"April",   "May","June",
"July",    "August",   "Sept",
"Oct", "Nov", "Dec");
return months[date.getMonth()] + " " +
date.getDate() + ", " + years;
}

if (hrs==0)
     {    hrs=12;    ampm=" am";
     }
else if (hrs>12)
     {   hrs=(hrs-12);
          ampm=" pm";
     }
else
          ampm=" am";
if (min<10)
          min="0"+min;

var cur = new Date();
fixDate(cur);
var str = getString(cur);

document.writeln("&nbsp; <a href='http://63.139.188.86/citrix/ICAWEB/EN/ica32/ica32t.exe'><img src='/images/menuflag2.gif' border=0></a>&nbsp;&nbsp; <font face=verdana size=1 color=#303030><b>");
document.write(str);
// document.write(" -- "+hrs+":"+min+ampm);
document.write("</b></font>");

// -->

