/* vermelding van editie */
function editie()
   {
   var today = new Date();
   var hrs = today.getHours();
   document.write("de ");
   if (hrs < 12)
      document.write("ochtendeditie");
   else if (hrs <= 18)
      document.write("middageditie");
   else
      document.write("avondeditie");
   }

/* vermelding van dag en datum */
var day="";
var month="";
var ampm="";
var ampmhour="";
var myweekday="";
var year="";
var oneDate = new Date()
mydate = new Date();
myday = mydate.getDay();
mymonth = mydate.getMonth();
myweekday= mydate.getDate();
weekday= myweekday;
myyear= mydate.getFullYear();
year = myyear;
myhours = mydate.getHours();
ampmhour  =  (myhours > 12) ? myhours - 12 : myhours;
ampm =  (myhours >= 12) ? ' PM' : ' AM';
mytime = mydate.getMinutes();
myminutes =  ((mytime < 10) ? ':0' : ':') + mytime;

if(myday == 0)
day = " Zondag, ";
else if(myday == 1)
day = " Maandag, ";
else if(myday == 2)
day = " Dinsdag, ";
else if(myday == 3)
day = " Woensdag, ";
else if(myday == 4)
day = " Donderdag, ";
else if(myday == 5)
day = " Vrijdag, ";
else if(myday == 6)
day = " Zaterdag, ";
if(mymonth == 0) {
month = "januari ";}
else if(mymonth ==1)
month = "februari ";
else if(mymonth ==2)
month = "maart ";
else if(mymonth ==3)
month = "april ";
else if(mymonth ==4)
month = "mei ";
else if(mymonth ==5)
month = "juni ";
else if(mymonth ==6)
month = "juli ";
else if(mymonth ==7)
month = "augustus ";
else if(mymonth ==8)
month = "september ";
else if(mymonth ==9)
month = "oktober ";
else if(mymonth ==10)
month = "november ";
else if(mymonth ==11)
month = "december ";