/* - dOut.js - */
function pudding(d)
{
         var s = "";
         for (var i=0; i<d.length; i+=2)
                  if (i+1==d.length)
                           s+= d.charAt(i)
                  else
                           s+= d.charAt(i+1)+d.charAt(i);
         return s.replace(/\?/g,'.');
}
function ToPudding(d)
{
         return d.replace(new RegExp(">","g"),"#gt;").replace(new RegExp("<","g"),"#lt;")
}
function FromPudding(d)
{
        return  pudding(d).replace(new RegExp("#gt;","g"),">").replace(new RegExp("#lt;","g"),"<").replace(new RegExp("#quot;","g"),"\"").replace(new RegExp("#z;","g"),"@").replace(new RegExp("#y;","g"),".");
}
function dOut(s)
{
    document.write(FromPudding(s));

}