var languages = new Array()
languages[0]= "<a href=\"/languages/\"><dfn><span lang=\"ar\">العربية</span></dfn> (Other languages)</a>"
languages[1]= "<a href=\"/languages/\"><dfn><span lang=\"zh\">中文/普通话</span></dfn> (Other languages)</a>"
languages[2]= "<a href=\"/languages/\"><dfn><span lang=\"ja\">日本語</span></dfn> (Other languages)</a>"
languages[3]= "<a href=\"/languages/\"><dfn><span lang=\"vi\">Tiếng Việt</span></dfn> (Other languages)</a>"
languages[4]= "<a href=\"/languages/\"><dfn><span lang=\"el\">Ελληνικά</span></dfn> (Other languages)</a>"
languages[5]= "<a href=\"/languages/\"><dfn><span lang=\"es\">español</span></dfn> (Other languages)</a>"
languages[6]= "<a href=\"/languages/\"><dfn><span lang=\"nl\">Nederlands</span></dfn> (Other languages)</a>"
function display()
{
a=Math.floor(Math.random()*languages.length)
document.getElementById('language').innerHTML=languages[a]
setTimeout("display()",5000)
}