/*
--------------------------------------------------------------------------------
 Library
--------------------------------------------------------------------------------
*/

function $(tagName, DOMIndexNumber)
{
  return document.getElementsByTagName(tagName)[DOMIndexNumber];
}

function padLeft(numberIn, desiredLength) // (1)
{
  // Convert numberIn to String, and add leading zeros:

  var numberOut = numberIn.toString();
  if (numberOut.length < desiredLength)
  {
    var zerosNeeded = desiredLength - numberOut.length;
    var zeros = new Array();
    for (var i = 0; i < zerosNeeded; ++i)
    {
      zeros[i] = "0";
    }
    numberOut = zeros.join() + numberOut;
  }
  return numberOut;
}

/*
--------------------------------------------------------------------------------

 (1) A more streamlined, but less flexible approach would be to hard-code an
     arbitrary number of zeros into the function:

     function padLeft(numberIn, desiredLength)
     {
       var numberOut = numberIn.toString();
       if (numberOut.length < desiredLength)
       {
         numberOut = ("000" + numberOut).slice(- desiredLength);
       }
       return numberOut;
     }

*/