// JavaScript Document

  	function changeSource1()
	{
		document.getElementById("frame1").src="edu/edu_o.html"
	}
	function changeSource2()
	{
		document.getElementById("frame1").src="edu/edu_creativity.html"
	}
	function changeSource3()
	{
		document.getElementById("frame1").src="edu/edu_curtain.html"
	}