//var page_url;			// URL of the current page
//var www_idx	;			// index to "www" in page URL
//var new_page_url;		// new URL without www
//
//page_url = location.href;	// URL of the page
//
//www_idx = page_url.indexOf("www.");
//if (www_idx != -1)		// only if URL contains "www"
//{
//	new_page_url = page_url.substring(0, www_idx) + page_url.substring(www_idx + 4, page_url.length);
//	location.href = new_page_url;
//}