function timeToHuman()
  {
    var theDate = new Date(document.getElementById('timeStamp').value * 1000);
    dateString = theDate.toGMTString();
    document.getElementById('result').value = dateString;
  }
  function humanToTime()
  {
    var humDate = new Date(Date.UTC(document.h2u.inYear.value,
         (stripLeadingZeroes(document.getElementById('inMon').value)-1),
          stripLeadingZeroes(document.getElementById('inDay').value),
          stripLeadingZeroes(document.getElementById('inHr').value),
          stripLeadingZeroes(document.getElementById('inMin').value),
          stripLeadingZeroes(document.getElementById('inSec').value)));
    document.getElementById('result').value = (humDate.getTime()/1000.0);
  }

  function stripLeadingZeroes(input)
  {
    if((input.length > 1) && (input.substr(0,1) == "0"))
       return input.substr(1);
    else
       return input;
  }