function getUrl ()
{
	var result='';
	for (i=0; i< document.location.href.length; i+=1)
		if (document.location.href.charAt(i)!=';')
		 result+=document.location.href.charAt(i);
		 else
		 break;
	return result;
}