function debug (t) {
    console.log (t);
};