if (document.all) var Text2 = document.all.Text2;
if (document.all) var Text8 = document.all.Text8;
if (document.all) var Text9 = document.all.Text9;
if (document.all) var Text6 = document.all.Text6;
if (document.all) var Text7 = document.all.Text7;