function decho (html) {
	document.write(html);	
}