(if 123 777 555)