void setup() {
  Serial.begin(9600);
  Serial.print("compilation date/time:");
  Serial.print(__DATE__ );
  Serial.print("  ");  
  Serial.println(__TIME__ );
}