if (document.all) var Text4 = document.all.Text4;
if (document.all) var Text5 = document.all.Text5;
if (document.all) var Text6 = document.all.Text6;
if (document.all) var Text9 = document.all.Text9;
if (document.all) var Text10 = document.all.Text10;