// FUNZIONE REPLACE file HTML con file PHP
var host = location.hostname;
var h = host.split('.');

switch (h[1] + "." + h[2]) {
	case "elastiko.org":
		var root_dir = "";
		break;
	case "sasanquamusic.org":
		var root_dir = "/elastiko";
		break;
	default:
		host = "127.0.0.1/~elastiko";
		var root_dir = "/elastiko2006";
		break;
}

host = "http://" + host;

var path = location.pathname;
var ext = path.lastIndexOf(".");		//estensione
ext = path.substring(ext+1);

var replace_href;						//determinazione nuovo HREF
switch (ext) {
	case "php":
	case "html":
		var n_char = path.length;
		var index = path.indexOf(root_dir);
		var new_path = path.substring(index,n_char-(ext.length+1));

		replace_href = host + new_path + ".php" + location.hash;
		break;
	default:
		replace_href = host + path + "index.php";
		break;
}

window.onload = location.replace(replace_href);