fser=`echo $f | sed -e "s/.*\.\([0-9]*\)\.stdhep/\1/" -e "s/^0*//" `
    serstr=`printf %3.3d ${fser}`