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