string getvalue(__int128 value){
	string s;
	bool is_negative=value<0;
	if(is_negative){
		value=-value;
	}
	while(value>0){
		s=char('0'+value%10)+s; 
		value/=10;
	}
	if(is_negative){
		s='-'+s;
	}
	return s;
}