/**
题目：C. Divide by Six
链接：https://oj.ejq.me/problem/24
题意：给定一个数，这个数位数达到1e5,可能存在前导0.问为了使这个数是6的倍数，且没有前导0，删除尽量少的位数，可以任意位置删除。
输出剩余的位数。如果找不到，输出-1s。
思路：
一开始心想，这么多个位置，又不知道删除几个，排列组合的情况下，简直不可能完成。
这题是我的队友tzq想出来的。在此重新思考一下。
常规想法不可能完成。一定存在某些特殊的地方。观察题目要求，6的倍数。一个数是6的倍数有什么特殊性？
尾数一定是偶数。那么枚举尾数为偶数，仍然很大。
假设确定了一定是2的倍数，那么只要判断是否是3的倍数就行了。而判断一个数是否是3的倍数，只要各个数位的和是3的倍数这个数就一定是3的倍数。很容易证明。 如果找到一个尾数为偶数，且从它为尾的数%3==0.那么这个可能是答案。
%3==1.那么要删除一个某个位的数%3==1的位。或者删除两个数位上的数%3==2的位。为了避免删除后出现前导0，为了答案最优，从右边开始找。如果找不到，所以这种情况无解。
如果删除后出现前导0，去掉前导0，不会有影响。注意把数删完了的情况。此时无解。
%3==2.那么删除一个某个位的数%3==2的位，或者删除两个数位上的数%3==1的位，同上。 问题是：尾数为偶数有很多种情况。我们知道为了让剩余的位数越来越多。所以选择尾数为偶数应该尽量右才好。
如果某两个位作为尾数。以他们为尾数的数%3==0，则显然取尾数更右的更优。
同理%3==1, %3==2，都是选更右的更优，这样删除的选择更多，且剩余的数位也更多。 至此，本体解法为分析+模拟。
细节：只要有前导0，肯定有答案。即剩余的数位0.那么输出1；
*/
#include<bits/stdc++.h>
#define LL long long
using namespace std;
typedef long long ll;
const int maxn = 1e5+;
char s[maxn];
int r[maxn];
int rr[maxn];
char temp[maxn];
int r0, r1, r2;///%3==0, %3==1, %3==2的尾数位置。
int leadzero, len, ans;
int getR(int type)
{
for(int i = len-; i>= ; i--){
if(r[i]==type&&(s[i]-'')%==){
return i;
}
}
return -;
}
void f(int r,int type)
{
if(r==-) return ;
///type==1
if(type==)
{
/// 删除一个1
for(int i = r; i >= &&r>; i--){
if(rr[i]==){
if(i==){
int t = i+;
while(t<=r&&temp[t]==''){
t++;
}
if(t>r){
ans = max(ans,);
}else
{
ans = max(ans,r-t+);
}
}else
{
ans = max(ans,r);
}
}
}
/// 删除两个2
int cnt = , pos = -;
char tt;
for(int i = r; i >= &&r>; i--){
if(rr[i]==){
cnt--;
if(cnt==){
if(i==){
int t = i+;
while(t<=r&&temp[t]==''){
t++;
}
if(t>r){
ans = max(ans,);
}else
{
ans = max(ans,r-t+);
}
}else
{
ans = max(ans,r);
}
}else
{
pos = i;
tt = temp[i];
temp[i]='';
}
}
}
if(pos!=-) temp[pos] = tt; }else
///type==2
{
///删除一个2
for(int i = r; i >= &&r>; i--){
if(rr[i]==){
if(i==){
int t = i+;
while(t<=r&&temp[t]==''){
t++;
}
if(t>r){
ans = max(ans,);
}else
{
ans = max(ans,r-t+);
}
}else
{
ans = max(ans,r);
}
}
}
///删除两个1
int cnt = , pos = -;
char tt;
for(int i = r; i >= &&r>; i--){
if(rr[i]==){
cnt--;
if(cnt==){
if(i==){
int t = i+;
while(t<=r&&temp[t]==''){
t++;
}
if(t>r){
ans = max(ans,);
}else
{
ans = max(ans,r-t+);
}
}else
{
ans = max(ans,r);
}
}else
{
pos = i;
tt = temp[i];
temp[i]='';
}
}
}
if(pos!=-) temp[pos] = tt;
}
}
int main()
{
while(scanf("%s",s)==)
{
r0 = r1 = r2 = -;
leadzero = ;
while(s[leadzero]!='\0'&&s[leadzero]==''){
leadzero++;
}
if(s[leadzero]=='\0'){
printf("1\n"); continue;
}
if(leadzero>) ans = ;///只要有前导0，那么肯定可以一个0作为结果。
strcpy(temp,s+leadzero);
// printf("temp = %s\n", temp);
strcpy(s,temp);
len = strlen(s);
int p = ;
for(int i = ; s[i]!='\0'; i++){
p = p+(s[i]-'');
p %= ;
r[i] = p;
rr[i] = (s[i]-'')%;
}
ans = -;
r0 = getR();
if(r0!=-) ans = r0+;
r1 = getR();
r2 = getR();
f(r1,);
//strcpy(temp,s);
f(r2,);
if(ans!=-){
printf("%d\n",ans);
}else printf("-1s\n");
}
return ;
}