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