function swapTitle(theTitle,theText1,theText2) {
	var displayedTitle = document.getElementById("vtitle");
	var displayedText1 = document.getElementById("vtext1");
	var displayedText2 = document.getElementById("vtext2");
	displayedTitle.firstChild.nodeValue = theTitle;
	displayedText1.firstChild.nodeValue = theText1;
	displayedText2.firstChild.nodeValue = theText2;
}