/* Some standard use functions used on most pages */
/* Separating my javascipts from my HTML files    */



function swapPages(Example, Explanation)
{
document.getElementById("Example").src="Example.html";
document.getElementById("Explanation").src="Explanation.html";

}