function showButtons(doc){
var text1="Download for Windows ("+vers+")",
text2="Download for Linux ("+vers+")",
style1=
'
',
style2="
",
astyle1="",
astyle3="";
if(lang=="ru")
{
text1="Скачать для Windows ("+vers+")";
text2="Скачать для Linux ("+vers+")";
}
document.getElementById('downbuttons').innerHTML=astyle1
+link1
+astyle2
+style1
+text1
+style2
+astyle3
+astyle1
+link2
+astyle2
+style1
+text2
+style2
+astyle3;
}
document.write("");