function change_include(folder, filename)
{
	document.write("<!--#include file='"+folder+"/"+filename+"'-->");
}