// this file is meant to be an iframe iw/in index.html
// if this file is accessed directly (via search engine, etc.)
// this script reloads it in index.html's iframe:
// 1. check for var set in parent (index.html)
if(!parent.inframe) {
	// 2. if var not there, then parse filename from url;
	// w/o extension (b/w last '/' and last '.')
	var url = this.location.href
	var fileName = url.substring(url.lastIndexOf('/')+1, url.lastIndexOf('.'));
	// 3. redirect to iframed index.html adding filename as query
	// (the js of index gets filefname from query and loads this file into iframe)
	top.location = 'index.html?' + fileName;
}