function getById(id)
		{
		  if (document.all)
		    return document.all[id];
		  if (document.getElementById)
		    return document.getElementById(id);
		  if (document.layers)
		    return document.layers[id];
		  return document[id];
		}

		function URLencode(s)
		{
		  return escape(s).replace(/\+/g, '%2C').replace(/\"/g,'%22').replace(/\'/g, '%27');
		}