function re_load() { location.reload(); }