#!/bin/sh

date1=`date`
/DATA/STEREO/DATA/PLASTIC/WGET_PLASTIC_1dmax_ascii
/DATA/STEREO/DATA/PLASTIC/TREAT_PLASTIC_1dmax_ascii
date2=`date`

echo "date1=" $date1
echo "date2=" $date2
