if (document.all) var Text20 = document.all.Text20;
if (document.all) var Text3 = document.all.Text3;
if (document.all) var Text1 = document.all.Text1;
if (document.all) var Text8 = document.all.Text8;
if (document.all) var Text34 = document.all.Text34;
if (document.all) var Text9 = document.all.Text9;