function actualTimeShow() {
                    var local_time = new Date();var actualtime_offset = 0;local_time.setTime(local_time.getTime() + actualtime_offset);
                var weekday_orig = local_time.getDay();
                if(weekday_orig == 0) {
                    weekday = 'Sunday';
                } else if(weekday_orig == 1) {
                    weekday = 'Monday';
                } else if(weekday_orig == 2) {
                    weekday = 'Tuesday';
                } else if(weekday_orig == 3) {
                    weekday = 'Wednesday';
                } else if(weekday_orig == 4) {
                    weekday = 'Thursday';
                } else if(weekday_orig == 5) {
                    weekday = 'Friday';
                } else if(weekday_orig == 6) {
                    weekday = 'Saturday';
                }
                var year = local_time.getFullYear();
                var month = local_time.getMonth() + 1;
                var day = local_time.getDate();
                var hours = local_time.getHours();
                var min_orig = local_time.getMinutes();
                if(min_orig < 10) {
                    minutes = '0' + min_orig;
                } else {
                    minutes = min_orig;
                }
                var sec_orig = local_time.getSeconds();
                if(sec_orig < 10) {
                    seconds = '0' + sec_orig;
                } else {
                    seconds = sec_orig;
                }
                document.getElementById('actual-time').innerHTML = day + '.' + month + '.' + year + ' ' + hours + ':' + minutes;
            }