function noCache( url ) {
	// z.B. getURL(noCache("astro.html");) 
	// 		getURL(noCache("astro.html?id=1");)
	// adds timestamp to URL to prevent loading cached files
	return url + url.split ("?").length > 1 ? "&" : "?" + "noc=" + new Date ().getTime ();
}