$SET W/L=1000
$SET DEF DB1:
$RUN BENCH1