/*
**  tools.js
**  GNU GENERAL PUBLIC LICENSE: (c) DD miraceti.net
*/ 
let s   = function(sel) { return document.querySelector(sel);  };
let sId = function(sel) { return document.getElementById(sel); };
let isJsonObject = function(value)    { return value !== undefined && value !== null && typeof value === 'object'; }
let to_date = function(unixtimestamp) { return new Date(parseInt(unixtimestamp)*1000).toLocaleString(); }