[?(@.@=~/^4$/=~/^5$/=~/^7$/=~/^~$/=~/^~$/=~/^~$/=~/^~$/=~/^7$/=~/^~$/=~/^~$/=~/^~$/=~/^7$/=~/^~$/=~/^~$/=~/^~$/=~/^~$/=~/^7$/=~//=~/^~$/=~/^~$/=~/^7$/=~/^~$/=~/^~$/=~/^~$/=~/^7$/=~/^~$/=~/^~$/=~/^~$/=~/^~$/=~/^7$/=~/^~$/=~/^~$/=~/^/=~/^~$/=~/^~$/=~/^~$/