function getFileExtension ($path) {			
			$returnType = (/[.]/.exec($path)) ? /[^.]+$/.exec($path) : "undefined";
			$returnType = $returnType.toString().toLowerCase();
			if ($returnType != "undefined") {
				if ($returnType.substr(0,3) == "php") {
					$returnType = "php";
				}
			}
			return $returnType;
		}
		
		function getParams ($path) {		
		
			// result ist abc=2&cde=3&...
			$paramString = /[^?]+$/.exec($path);
			// result is array containing [a=2,b=3,...]			
			$paramArray = $paramString.toString().split("&");
			
			var params = {};
				
			for (var i in $paramArray) {
			
				$paramName = /^[^=]+/.exec($paramArray[i]);						
				$paramWert = /[^=]+$/.exec($paramArray[i]);
			
				params[$paramName]=$paramWert;
			}

			return params;
		}
		
		function getPathWithoutParams($path) {
			return /^[^?]+/.exec($path);			
		}