function timeToHuman()

{

var theDate = new Date(document.u2h.timeStamp.value * 1000);

dateString = theDate.toGMTString();

document.u2h.result.value = dateString;

}

function humanToTime()

{

var humDate = new Date(Date.UTC(document.h2u.inYear.value,

  (stripLeadingZeroes(document.h2u.inMon.value)-1),

  stripLeadingZeroes(document.h2u.inDay.value),

  stripLeadingZeroes(document.h2u.inHr.value),

  stripLeadingZeroes(document.h2u.inMin.value),

  stripLeadingZeroes(document.h2u.inSec.value)));

document.h2u.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;

}