function urlencode(url)
{
	var encoded = '';
	var i;
	var hex='0123456789ABCDEF';
	var ch;
	
	for (i = 0; i < url.length; i++)
	{
		ch = url.charAt(i);
		if ((ch >= 'a') && (ch <= 'z'))
		{
			encoded += ch;
		}
		else if ((ch >= 'A') && (ch <= 'Z'))
		{
			encoded += ch;
		}
		else if ((ch >= '0') && (ch <= '9'))
		{
			encoded += ch;
		}
		else if (' ' == ch)
		{
			encoded += '+';
		}
		else
		{
			high = hex.charAt(url.charCodeAt(i)>>4);
			low = hex.charAt(url.charCodeAt(i)%16);
			encoded += '%'+high+low;
		}
	}
	return encoded;
}