function documentwrite(src){
	document.write(src);
}