// variable declarations for quick menu in heading
var q_list=new Array();q_list[0]=new quick_obj();q_list[1]=new quick_obj();q_list[2]=new quick_obj();q_list[3]=new quick_obj();q_list[4]=new quick_obj();q_list[0].title="PRINT";q_list[0].msgurl="javascript: parent.mmenu.printMain()";q_list[0].tip="Print this page.";q_list[0].msgtype="";q_list[1].title="EMAIL";q_list[1].msgurl="";q_list[1].tip="Use the email function at the top left.";q_list[1].msgtype="";q_list[2].title="DUTCH";q_list[2].msgurl="javascript: parent.mmenu.change_lang(1)";q_list[2].tip="Onze website wordt de komende maanden vertaald in het Nederlands. Nederlandse documentatie kunt u hier al wel downloaden.";q_list[2].msgtype="";q_list[3].title="ENGLISH";q_list[3].msgurl="javascript: parent.mmenu.change_lang(2)";q_list[3].tip="English is the current language.";q_list[3].msgtype="";q_list[4].title="GERMAN";q_list[4].msgurl="javascript: parent.mmenu.change_lang(3)";q_list[4].tip="In die nächste Monate wird unser Website auf Deutsch übersetzt. Deutsche Broschüren können Sie hier aber schon downloaden.";q_list[4].msgtype="";var month=new Array()
month[0]="January";month[1]="February";month[2]="March";month[3]="April";month[4]="May";month[5]="June";month[6]="July";month[7]="August";month[8]="September";month[9]="October";month[10]="November";month[11]="December";var date_str,time_str;function new_time(){var t_date=new Date(), m;m=t_date.getMinutes();if ( m <10) m='0'+m;time_str=t_date.getHours()+":"+m;date_str=month[t_date.getMonth()]+" "+t_date.getDate();}