than ethan <1KI4 -:31 >
~~~~~~