File standardInput readLines map(translate("01235678","01234567")fromBase(8)println)