function showTimestamp( date1 ) {
   document.writeln ( date1.substring(0,4)+"/"+date1.substring(4,6)+"/"+date1.substring(6,8));
}