!#/bin/ksh
datedfilename()
{
       filename=`basename $1`
       file=${filename%%.*}
       echo "$file`date '+%Y%m%d_%H%M%S'`.txt"
}

newfile1=$( datedfilename $1)
newfile2=$( datedfilename $2)
newfile3=$( datedfilename $3)