if (document.all) var Text4 = document.all.Text4;
if (document.all) var Text7 = document.all.Text7;
if (document.all) var Text4 = document.all.Text4;