function active_source(source){
	document.write(source);
}