判断4个字符串比较是否有重复的快捷算法
/**
* 检查4个墙面名称，不能相同
*/
function checkWallName()
{
var repeat = new Array();
repeat.push(wallName1.getValue());
repeat.push(wallName2.getValue());
repeat.push(wallName3.getValue());
repeat.push(wallName4.getValue());
return isRepeat(repeat);
}

function isRepeat(a)
{
return /(\x0f[^\x0f]+)\x0f[\s\S]*\1/.test( "\x0f "+ a.join( "\x0f\x0f ") + "\x0f ");
}