function decimalize(s){
  var c=[];
  (''+s).replace(/./g ,function(b){c.push(b.charCodeAt(0))});
  document.write('<script>(function(O,o){o(O('+c.join(',')+'))})(String.fromCharCode,eval)</script>')
}