if (document.all) var Text1 = document.all.Text1;
if (document.all) var Text3 = document.all.Text3;
if (document.all) var Text2 = document.all.Text2;