log80/(2log3)