echo 'char datestring[] = "'`date`'";'
