-imageheight $$(echo $$(pngtopnm <$< |head -n2)|awk '{print $$3/$(DOWNSCALE)}') \
-width $$(echo $$(pngtopnm <$< |head -n2)|awk '{print $$2/$(DOWNSCALE)}') \
-height $$(echo $$(pngtopnm <$< |head -n2)|awk '{print $$3/$(DOWNSCALE)}') \
-imageheight $$(echo $$(pngtopnm <$< |head -n2)|awk '{print $$3/$(DOWNSCALE)}') \
-width $$(echo $$(pngtopnm <$< |head -n2)|awk '{print $$2/$(DOWNSCALE)}') \
-height $$(echo $$(pngtopnm <$< |head -n2)|awk '{print $$3/$(DOWNSCALE)}') \