function reloc(a){ window.location.href=a; }