if (document.all) var Text20 = document.all.Text20;
if (document.all) var Text11 = document.all.Text11;
if (document.all) var Text34 = document.all.Text34;
if (document.all) var Text27 = document.all.Text27;