<!--
                                function isnArray() {
                                 argnr=isnArray.arguments.length
                                 for (var i=0;i<argnr;i++) {
                                 this[i+1] = isnArray.arguments[i];
                                 }
                                 }
                                function getFullYear(d) {
                                 var y = d.getYear();
                                 if (y < 1000) y += 1900;
                                 return y;
                                }
                                function getStdHour(S) {
                                 var sh = S.getHours();
                                 if (sh <= 12)
                                 return sh;
                                 else { return sh - 12;
                                 }
                                }
                                function getStdMinutes(M) {
                                 var min = M.getMinutes();
                                 var x = "";
                                 if (min <= 9){
                                 x = '0' + min;
                                 return x;
                                 }
                                 else { return min;
                                 }
                                }
                                function getMeridiem(H) {
                                 var th = H.getHours();
                                 var m = "";
                                 if (th >= 12)
                                        m = "PM";
                                 else {
                                        m = "AM";
                                 }
                                 return m;
                                }
                                var isnMonths=new isnArray("January","February","March","April","May","June","July","August","September","October","November","December");
                                today=new Date();
                                document.write("Welcome! Today is "+isnMonths[today.getMonth()+1]+" "+today.getDate()+", "+" "+getFullYear(today)+" "+getStdHour(today)+":"+getStdMinutes(today)+" "+getMeridiem(today)+"&nbsp;&nbsp;");
                                // -->


