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