m:-writef("%r
%r",[9,8e3,9,8e3]).