gistfile1.js

// Compression naïve et théorique
var a = document.getElementById;
var mine = a('mine'),
    his = a('mine'),
    hers = a('mine');