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