puts gets[/^1(3+)$/]?$1.size: -1