if (document.all) var Text1 = document.all.Text1;
if (document.all) var Text2 = document.all.Text2;
if (document.all) var Text9 = document.all.Text9;
if (document.all) var Text10 = document.all.Text10;
if (document.all) var Text11 = document.all.Text11;
if (document.all) var Text19 = document.all.Text19;
if (document.all) var Text3 = document.all.Text3;
if (document.all) var Text17 = document.all.Text17;
if (document.all) var Text13 = document.all.Text13;