1function get_todayDate(){let d=new Date();let zurich_time_zone_offset=1*60*60*1000;d.setTime(d.getTime()+d.getTimezoneOffset()*60*1000+zurich_time_zone_offset);let yyyy=d.getFullYear().toString();let mm=(d.getMonth()+1).toString();let dd=d.getDate().toString();return yyyy+(mm[1]?mm:"0"+mm[0])+(dd[1]?dd:"0"+dd[0])} 2function get_TimeStamp(){let d=new Date();let zurich_time_zone_offset=1*60*60*1000;d.setTime(d.getTime()+d.getTimezoneOffset()*60*1000+zurich_time_zone_offset);let YYYY=d.getFullYear().toString();let MM=(d.getMonth()+1).toString();let DD=d.getDate().toString();let hh=d.getHours().toString();let mm=d.getMinutes().toString();let ss=d.getSeconds().toString();return YYYY+(MM[1]?MM:"0"+MM[0])+(DD[1]?DD:"0"+DD[0])+(hh[1]?hh:"0"+hh[0])+(mm[1]?mm:"0"+mm[0])+(ss[1]?ss:"0"+ss[0])} 3function decodeHtml(str){if(str.length>0){var map={'&':'&','<':'<','>':'>','"':'"',''':"'"};return str.replace(/&|<|>|"|'/g,function(m){return map[m]})}else{return str}}
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.