function getFilename(text, ifLocal){
var lastB;
if(ifLocal) lastB=text.lastIndexOf("\\");
else lastB=text.lastIndexOf("/");
text=text.substr(lastB+1,text.length);
switch(text){
case "":
case "index.php":
document.write('
');
break;
case "about.php":
document.write('
');
break;
case "services.php":
document.write('
');
break;
case "safety.php":
document.write('
');
break;
case "experience.php":
document.write('
');
break;
case "relationships.php":
document.write('
');
break;
case "links.php":
document.write('
');
break;
case "contact.php":
case "thanks.php":
document.write('
');
break;
default:
document.write('');
break;
}
}