var write_num = (function make_write_num(){