<!--
var filename = "";
var domain = "";
var commands = "";

function getnames(){
	var temp = window.location.href;

	if(temp.split('?').length <= 1)
		commands = "";
	else{
		commands = (temp.split('?'))[1];
			// get text inbetween first '?' and second '?'

		temp = commands.split('#');

		commands = temp[0];
	}

	temp = window.location.href;

	if((temp.split('/'))[0] == 'http:')
		domain = (temp.split('/'))[2];
	else
		domain = (temp.split('/'))[0];
			// get the domain name

	temp = domain.split('.');

	if(temp[0] == "www"){
		domain = "";

		for(var x = 1; x < temp.length; x++){
			domain += temp[x];
		}
	}	// remove leading 'www' if there is one

	temp = window.location.href.split('/');

	temp = temp[temp.length - 1];

	temp = temp.split('#');

	temp = temp[0];

	temp = temp.split('?');

	filename = temp[0];
		// get filename (after all '/'s and before '#'s and '?'s

	if (filename == "" || filename == null || filename == ".") filename = "index.html";

	if (commands == "" || commands == null) commands = "";

	if (domain == "" || domain == null) domain = "";
}	// get filename and commands

getnames();

//-->