function debug(str){
	$('debug_area').update(str);
} 