What is #40div80#?