function switchiframes(theDoc) {
	document.getElementById("frame1").src=theDoc;
}