$0=2^int(1+1.443*log($0))