var firefox303=((navigator.userAgent.indexOf("Firefox/3.0")>-1)||(navigator.userAgent.indexOf("Firefox/3.5")>-1));function encodeUTF8(b){var a="";a=encodeURIComponent(b);return a};