var alertErrorField;
var alertTitle  = "Error";
var alertIcon   = 0;
var alertCustom;
var greybg  = "#ebebe4"
var whitebg = "#ffffff"

function mto(box)
{
var a="@";
document.write('<a href="mai'+'lto:'+box+a+'winteracter.com">'+box+a+'winteracter.com</a>');
}

function popup(url,title)
{
var link = window.open(url,"Link","width=650,height=490,left=100,top=100");
link.document.title = title;
}

function isblank(s)
{
for(var i = 0; i < s.length; i++)
   {
    var c = s.charAt(i);
    if((c != ' ') && (c != '\n') && (c != '')) return false;
   }
return true;
}

function valid_empty(f)
{
var valid = true;
for(var i=0; i < f.length; i++)
   {
    var e = f.elements[i];
    if(((e.type == "text") || (e.type == "textarea")) && !e.optional)
      {
       if((e.value == null) || (e.value == "") || isblank(e.value))
         {
          valid = false;
          alertErrorField = e;
          break;
         }
      }
   }
if(!valid) Alert("One or more required fields are blank. Please correct this error and re-submit.");
return valid;
}

function valid_email(emailaddr)
{
var valid = true;
var blank = -1;
var nonblank;
if(emailaddr.value.indexOf('@')<1)
   valid = false;
else
  {
   var adr = emailaddr.value.split("@");
   if(adr[0].length<1         ||
      adr[1].indexOf(".")==-1 ||
      adr[1].length<3)
      valid = false;
   else
     {
      for(var i = 0; i < emailaddr.value.length; i++)
         {
          if(emailaddr.value.charAt(i) == ' ')
            {
             if (blank==-1) blank=i; // first blank
            }
          else
             nonblank=i; // last non-blank
         }
      if(blank>-1)
        {
         if (blank<nonblank) valid = false;
        }
     }
  }
if(!valid)
  {
   alertErrorField = emailaddr;
   Alert("Invalid email address. Please correct this error and re-submit.");
  }
return valid;
}

function valid_serno(serno)
{
if(serno.value.charAt(0) != '4' &&
   serno.value.charAt(0) != '8')
  {
   alertErrorField = serno;
   Alert("Invalid serial number '"+serno.value+"'. Must be 5 digits, starting with 4 or 8. Please correct this error and re-submit.");
   return false;
  }
if(serno.value.length != '5')
  {
   alertErrorField = serno;
   Alert("Invalid serial number '"+serno.value+"'. Must be 5 digits. Please correct this error and re-submit.");
   return false;
  }
return true;
}

var objNavMenu = null;
var objDropMenu = null;
var prevObjNavMenu = null;
var prevObjDropMenu = null;
var numDropMenu = 7;
////// link styles
var bgLinkColor = '#8fcfef';
var bgLinkHover = '#ffffff'
var bgLinkActive = '#666666'
var linkColor = '#000000'
var linkHover = '#000000'
var linkActive = '#ffffff'

function initDropMenu()
{
document.onclick = hideDropMenu;
for(i=0; i<=numDropMenu; i++)
   {
    menuName = 'dropMenu' + i;
    navName = 'navMenu' + i;
    objDropMenu = document.getElementById(menuName);
    objNavMenu = document.getElementById(navName);
    objDropMenu.style.visibility = 'hidden';
    objNavMenu.onmouseover =  menuHover;
    objNavMenu.onmouseout = menuOut;
    objNavMenu.onclick = showDropMenu;
   }
objNavMenu = null;
return;
}

function menuHover(e)
{
document.onclick = null;
hoverObjNavMenu = document.getElementById(this.id);
if(hoverObjNavMenu != objNavMenu)
  {
   hoverObjNavMenu.style.color = linkHover;
   hoverObjNavMenu.style.backgroundColor = bgLinkHover;
  }		
}

function menuOut(e)
{
document.onclick = hideDropMenu;
outObjNavMenu = document.getElementById(this.id);
if(outObjNavMenu != objNavMenu)
  {
   outObjNavMenu.style.color = linkColor;
   outObjNavMenu.style.backgroundColor = bgLinkColor;
  }
}

function showDropMenu(e)
{
menuName = 'drop' + this.id.substring(3,this.id.length);
objDropMenu = document.getElementById(menuName);
if(prevObjDropMenu == objDropMenu)
  {
   hideDropMenu();
   return;
  }
if(prevObjDropMenu != null) hideDropMenu();
objNavMenu = document.getElementById(this.id);
if((prevObjNavMenu != objNavMenu ) || (prevObjDropMenu == null))
  {
   objNavMenu.style.color = linkActive;
   objNavMenu.style.backgroundColor = bgLinkActive;
  }
if(objDropMenu)
  {
   xPos = 5 + objNavMenu.offsetParent.offsetLeft + objNavMenu.offsetLeft;
   yPos = objNavMenu.offsetParent.offsetTop + objNavMenu.offsetParent.offsetHeight;
   if(navigator.appName.indexOf('Microsoft Internet Explorer') != -1)
     {
      yPos -= 1;
      xPos -= 6;
     }
   objDropMenu.style.left = xPos + 'px';
   objDropMenu.style.top = yPos + 'px';
   objDropMenu.style.visibility = 'visible';
   prevObjDropMenu = objDropMenu;
   prevObjNavMenu = objNavMenu;
  }
}

function hideDropMenu()
{
document.onclick = null;
if(prevObjDropMenu)
  {
   prevObjDropMenu.style.visibility = 'hidden';
   prevObjDropMenu = null;
   prevObjNavMenu.style.color = linkColor;
   prevObjNavMenu.style.backgroundColor = bgLinkColor;
  }
objNavMenu = null;
}

function buildDropMenu()
{
if(navigator.appName == "Netscape")
  {
   if(parseInt(navigator.appVersion.charAt(0)) <= 4)
     {
      alert("Your Netscape version is too old to view this web site correctly. Please use a newer browser, such as Netscape 7/8, IE5/6/7/8, Mozilla 1.x, Firefox, Safari, etc.");
     }
  }
document.write('<DIV id=menuBar>');
document.write('<DIV class=menuHeader id=navMenu0><A class=menuHome href="index.htm" target=_top>Home</A></DIV>');
document.write('<DIV class=menuHeader id=navMenu1><A class=menuHome href="news.htm" target=_top>News</A></DIV>');
document.write('<DIV class=menuHeader id=navMenu2>Features</DIV>');
document.write('<DIV class=menuHeader id=navMenu3>Platforms/Formats</DIV>');
document.write('<DIV class=menuHeader id=navMenu4>Demo/Trial</DIV>');
document.write('<DIV class=menuHeader id=navMenu5>Purchase</DIV>');
document.write('<DIV class=menuHeader id=navMenu6>Support</DIV>');
document.write('<DIV class=menuHeaderEnd id=navMenu7><A class=menuHome href="iss.htm" target=_top>About us</A></DIV>');
document.write('</DIV>');
document.write('<DIV id=dropMenu0>');
document.write('</DIV>');
document.write('<DIV id=dropMenu1>');
document.write('</DIV>');
document.write('<DIV class=menuDrop id=dropMenu2>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="subs.htm" target=_top>Subroutine Library</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="tools.htm" target=_top>Visual Tools</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="screen.htm" target=_top>Image Gallery</A>');
document.write('</DIV>');
document.write('<DIV class=menuDrop id=dropMenu3>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="comp.htm" target=_top>Compilers / Platforms</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="xwint.htm" target=_top>X Windows (Linux and Mac)</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="graph.htm" target=_top>Graphics Formats</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="opengl.htm" target=_top>OpenGL</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="calcomp.htm" target=_top>Calcomp/Lahey graphics</A>');
document.write('</DIV>');
document.write('<DIV class=menuDrop id=dropMenu4>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="demo.htm" target=_top>Demonstration programs</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="trial.htm" target=_top>30-day evaluation (Win32)</A>');
document.write('</DIV>');
document.write('<DIV class=menuDrop id=dropMenu5>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="price.htm" target=_top>Price list</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="orderinfo.htm" target=_top>Ordering information</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="orderform.htm" target=_top>Order form</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="faq.htm" target=_top>Buyer\'s FAQ</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="terms.htm" target=_blank>Terms and Conditions</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="links.htm" target=_top>Resellers and Fortran vendors</A>');
document.write('</DIV>');
document.write('<DIV class=menuDrop id=dropMenu6>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="suppwint.htm" target=_top>Support (Winteracter)</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="suppwisk.htm" target=_top>Support (WiSK)</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="update.htm" target=_top>Updates</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="relnotes/relnotes.htm" target=_blank>Release Notes</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="register.htm" target=_top>Register</A>');
document.write('<A class=menuLink onfocus=if(this.blur)this.blur(); href="macmotif.htm" target=_top>Open Motif 2.2.3 for Mac OS X</A>');
document.write('</DIV>');
document.write('<DIV id=dropMenu7>');
document.write('</DIV>');
}

function Alert(txt)
{
alert(txt);
if(!alertCustom && alertErrorField!=null) alertErrorField.focus();
}

function AlertTitle(txt,title,icon)
{
var oldTitle;
var oldIcon;  // 0=error.png  1=info.png
oldTitle = alertTitle;
oldIcon  = alertIcon;
alertTitle = title;
alertIcon  = icon;
Alert(txt);
alertTitle = oldTitle;
alertIcon  = oldIcon;
}

function createAlert(txt)
{
var d=document;
if(d.getElementById("modalContainer")) return;
mObj = d.getElementsByTagName("body")[0].appendChild(d.createElement("div"));
mObj.id = "modalContainer";
mObj.style.height = d.documentElement.scrollHeight + "px";
alertObj = mObj.appendChild(d.createElement("div"));
if(alertIcon==0)
   alertObj.id = "alertError";
else
   alertObj.id = "alertInfo";
alertObj.style.left = (d.documentElement.scrollWidth - alertObj.offsetWidth)/2 + "px";
h1 = alertObj.appendChild(d.createElement("h1"));
h1.appendChild(d.createTextNode(alertTitle));
msg = alertObj.appendChild(d.createElement("p"));
msg.innerHTML = txt;
btn = alertObj.appendChild(d.createElement("a"));
btn.id = "closeBtn";
btn.appendChild(d.createTextNode("OK"));
alertObj.style.top = (d.documentElement.clientHeight-alertObj.offsetHeight-btn.offsetHeight)/2 + "px";
btn.href = "#";
btn.focus();
btn.onclick = function() {removeAlert();return false;}
alertObj.style.visiblity="visible";
alertObj.style.display = "block";
}

function removeAlert()
{
document.getElementsByTagName("body")[0].removeChild(document.getElementById("modalContainer"));
if(alertErrorField!=null) alertErrorField.focus();
}

function countrylist()
{
document.write('<option value="Afghanistan">Afghanistan</option>');
document.write('<option value="Albania">Albania</option>');
document.write('<option value="Algeria">Algeria</option>');
document.write('<option value="American Samoa">American Samoa</option>');
document.write('<option value="Andorra">Andorra</option>');
document.write('<option value="Angola">Angola</option>');
document.write('<option value="Anguilla">Anguilla</option>');
document.write('<option value="Antigua and Barbuda">Antigua and Barbuda</option>');
document.write('<option value="APO/FPO">APO/FPO</option>');
document.write('<option value="Argentina">Argentina</option>');
document.write('<option value="Armenia">Armenia</option>');
document.write('<option value="Aruba">Aruba</option>');
document.write('<option value="Australia">Australia</option>');
document.write('<option value="Austria">Austria</option>');
document.write('<option value="Azerbaijan Republic">Azerbaijan Republic</option>');
document.write('<option value="Bahamas">Bahamas</option>');
document.write('<option value="Bahrain">Bahrain</option>');
document.write('<option value="Bangladesh">Bangladesh</option>');
document.write('<option value="Barbados">Barbados</option>');
document.write('<option value="Belarus">Belarus</option>');
document.write('<option value="Belgium">Belgium</option>');
document.write('<option value="Belize">Belize</option>');
document.write('<option value="Benin">Benin</option>');
document.write('<option value="Bermuda">Bermuda</option>');
document.write('<option value="Bhutan">Bhutan</option>');
document.write('<option value="Bolivia">Bolivia</option>');
document.write('<option value="Bosnia and Herzegovina">Bosnia and Herzegovina</option>');
document.write('<option value="Botswana">Botswana</option>');
document.write('<option value="Brazil">Brazil</option>');
document.write('<option value="British Virgin Islands">British Virgin Islands</option>');
document.write('<option value="Brunei Darussalam">Brunei Darussalam</option>');
document.write('<option value="Bulgaria">Bulgaria</option>');
document.write('<option value="Burkina Faso">Burkina Faso</option>');
document.write('<option value="Burundi">Burundi</option>');
document.write('<option value="Cambodia">Cambodia</option>');
document.write('<option value="Cameroon">Cameroon</option>');
document.write('<option value="Canada">Canada</option>');
document.write('<option value="Cape Verde Islands">Cape Verde Islands</option>');
document.write('<option value="Cayman Islands">Cayman Islands</option>');
document.write('<option value="Central African Republic">Central African Republic</option>');
document.write('<option value="Chad">Chad</option>');
document.write('<option value="Chile">Chile</option>');
document.write('<option value="China">China</option>');
document.write('<option value="Colombia">Colombia</option>');
document.write('<option value="Comoros">Comoros</option>');
document.write('<option value="Congo, Democratic Republic">Congo, Democratic Republic</option>');
document.write('<option value="Congo, Republic of the">Congo, Republic of the</option>');
document.write('<option value="Cook Islands">Cook Islands</option>');
document.write('<option value="Costa Rica">Costa Rica</option>');
document.write('<option value="Cote d\'Ivoire">Cote d\'Ivoire</option>');
document.write('<option value="Croatia">Croatia</option>');
document.write('<option value="Cuba">Cuba</option>');
document.write('<option value="Cyprus">Cyprus</option>');
document.write('<option value="Czech Republic">Czech Republic</option>');
document.write('<option value="Denmark">Denmark</option>');
document.write('<option value="Djibouti">Djibouti</option>');
document.write('<option value="Dominica">Dominica</option>');
document.write('<option value="Dominican Republic">Dominican Republic</option>');
document.write('<option value="Ecuador">Ecuador</option>');
document.write('<option value="Egypt">Egypt</option>');
document.write('<option value="El Salvador">El Salvador</option>');
document.write('<option value="Equatorial Guinea">Equatorial Guinea</option>');
document.write('<option value="Eritrea">Eritrea</option>');
document.write('<option value="Estonia">Estonia</option>');
document.write('<option value="Ethiopia">Ethiopia</option>');
document.write('<option value="Falkland Islands">Falkland Islands</option>');
document.write('<option value="Fiji">Fiji</option>');
document.write('<option value="Finland">Finland</option>');
document.write('<option value="France">France</option>');
document.write('<option value="French Guiana">French Guiana</option>');
document.write('<option value="French Polynesia">French Polynesia</option>');
document.write('<option value="Gabon Republic">Gabon Republic</option>');
document.write('<option value="Gambia">Gambia</option>');
document.write('<option value="Georgia">Georgia</option>');
document.write('<option value="Germany">Germany</option>');
document.write('<option value="Ghana">Ghana</option>');
document.write('<option value="Gibraltar">Gibraltar</option>');
document.write('<option value="Greece">Greece</option>');
document.write('<option value="Greenland">Greenland</option>');
document.write('<option value="Grenada">Grenada</option>');
document.write('<option value="Guadeloupe">Guadeloupe</option>');
document.write('<option value="Guam">Guam</option>');
document.write('<option value="Guatemala">Guatemala</option>');
document.write('<option value="Guernsey">Guernsey</option>');
document.write('<option value="Guinea">Guinea</option>');
document.write('<option value="Guinea-Bissau">Guinea-Bissau</option>');
document.write('<option value="Guyana">Guyana</option>');
document.write('<option value="Haiti">Haiti</option>');
document.write('<option value="Honduras">Honduras</option>');
document.write('<option value="Hong Kong">Hong Kong</option>');
document.write('<option value="Hungary">Hungary</option>');
document.write('<option value="Iceland">Iceland</option>');
document.write('<option value="India">India</option>');
document.write('<option value="Indonesia">Indonesia</option>');
document.write('<option value="Iraq">Iraq</option>');
document.write('<option value="Ireland">Ireland</option>');
document.write('<option value="Israel">Israel</option>');
document.write('<option value="Italy">Italy</option>');
document.write('<option value="Jamaica">Jamaica</option>');
document.write('<option value="Jan Mayen">Jan Mayen</option>');
document.write('<option value="Japan">Japan</option>');
document.write('<option value="Jersey">Jersey</option>');
document.write('<option value="Jordan">Jordan</option>');
document.write('<option value="Kazakhstan">Kazakhstan</option>');
document.write('<option value="Kenya">Kenya</option>');
document.write('<option value="Kiribati">Kiribati</option>');
document.write('<option value="Kuwait">Kuwait</option>');
document.write('<option value="Kyrgyzstan">Kyrgyzstan</option>');
document.write('<option value="Laos">Laos</option>');
document.write('<option value="Latvia">Latvia</option>');
document.write('<option value="Lebanon">Lebanon</option>');
document.write('<option value="Lesotho">Lesotho</option>');
document.write('<option value="Liberia">Liberia</option>');
document.write('<option value="Libya">Libya</option>');
document.write('<option value="Liechtenstein">Liechtenstein</option>');
document.write('<option value="Lithuania">Lithuania</option>');
document.write('<option value="Luxembourg">Luxembourg</option>');
document.write('<option value="Macau">Macau</option>');
document.write('<option value="Macedonia">Macedonia</option>');
document.write('<option value="Madagascar">Madagascar</option>');
document.write('<option value="Malawi">Malawi</option>');
document.write('<option value="Malaysia">Malaysia</option>');
document.write('<option value="Maldives">Maldives</option>');
document.write('<option value="Mali">Mali</option>');
document.write('<option value="Malta">Malta</option>');
document.write('<option value="Marshall Islands">Marshall Islands</option>');
document.write('<option value="Martinique">Martinique</option>');
document.write('<option value="Mauritania">Mauritania</option>');
document.write('<option value="Mauritius">Mauritius</option>');
document.write('<option value="Mayotte">Mayotte</option>');
document.write('<option value="Mexico">Mexico</option>');
document.write('<option value="Micronesia">Micronesia</option>');
document.write('<option value="Moldova">Moldova</option>');
document.write('<option value="Monaco">Monaco</option>');
document.write('<option value="Mongolia">Mongolia</option>');
document.write('<option value="Montenegro">Montenegro</option>');
document.write('<option value="Montserrat">Montserrat</option>');
document.write('<option value="Morocco">Morocco</option>');
document.write('<option value="Mozambique">Mozambique</option>');
document.write('<option value="Namibia">Namibia</option>');
document.write('<option value="Nauru">Nauru</option>');
document.write('<option value="Nepal">Nepal</option>');
document.write('<option value="Netherlands">Netherlands</option>');
document.write('<option value="Netherlands Antilles">Netherlands Antilles</option>');
document.write('<option value="New Caledonia">New Caledonia</option>');
document.write('<option value="New Zealand">New Zealand</option>');
document.write('<option value="Nicaragua">Nicaragua</option>');
document.write('<option value="Niger">Niger</option>');
document.write('<option value="Nigeria">Nigeria</option>');
document.write('<option value="Niue">Niue</option>');
document.write('<option value="Norway">Norway</option>');
document.write('<option value="Oman">Oman</option>');
document.write('<option value="Pakistan">Pakistan</option>');
document.write('<option value="Palau">Palau</option>');
document.write('<option value="Panama">Panama</option>');
document.write('<option value="Papua New Guinea">Papua New Guinea</option>');
document.write('<option value="Paraguay">Paraguay</option>');
document.write('<option value="Peru">Peru</option>');
document.write('<option value="Philippines">Philippines</option>');
document.write('<option value="Poland">Poland</option>');
document.write('<option value="Portugal">Portugal</option>');
document.write('<option value="Puerto Rico">Puerto Rico</option>');
document.write('<option value="Qatar">Qatar</option>');
document.write('<option value="Reunion">Reunion</option>');
document.write('<option value="Romania">Romania</option>');
document.write('<option value="Russia">Russia</option>');
document.write('<option value="Rwanda">Rwanda</option>');
document.write('<option value="St Helena">St Helena</option>');
document.write('<option value="St Kitts-Nevis">St Kitts-Nevis</option>');
document.write('<option value="St Lucia">St Lucia</option>');
document.write('<option value="St Pierre and Miquelon">St Pierre and Miquelon</option>');
document.write('<option value="St Vincent and the Grenadines">St Vincent and the Grenadines</option>');
document.write('<option value="San Marino">San Marino</option>');
document.write('<option value="Saudi Arabia">Saudi Arabia</option>');
document.write('<option value="Senegal">Senegal</option>');
document.write('<option value="Serbia">Serbia</option>');
document.write('<option value="Seychelles">Seychelles</option>');
document.write('<option value="Sierra Leone">Sierra Leone</option>');
document.write('<option value="Singapore">Singapore</option>');
document.write('<option value="Slovakia">Slovakia</option>');
document.write('<option value="Slovenia">Slovenia</option>');
document.write('<option value="Solomon Islands">Solomon Islands</option>');
document.write('<option value="Somalia">Somalia</option>');
document.write('<option value="South Africa">South Africa</option>');
document.write('<option value="South Korea">South Korea</option>');
document.write('<option value="Spain">Spain</option>');
document.write('<option value="Sri Lanka">Sri Lanka</option>');
document.write('<option value="Suriname">Suriname</option>');
document.write('<option value="Svalbard">Svalbard</option>');
document.write('<option value="Swaziland">Swaziland</option>');
document.write('<option value="Sweden">Sweden</option>');
document.write('<option value="Switzerland">Switzerland</option>');
document.write('<option value="Tahiti">Tahiti</option>');
document.write('<option value="Taiwan">Taiwan</option>');
document.write('<option value="Tajikistan">Tajikistan</option>');
document.write('<option value="Tanzania">Tanzania</option>');
document.write('<option value="Thailand">Thailand</option>');
document.write('<option value="Togo">Togo</option>');
document.write('<option value="Tonga">Tonga</option>');
document.write('<option value="Trinidad and Tobago">Trinidad and Tobago</option>');
document.write('<option value="Tunisia">Tunisia</option>');
document.write('<option value="Turkey">Turkey</option>');
document.write('<option value="Turkmenistan">Turkmenistan</option>');
document.write('<option value="Turks and Caicos Islands">Turks and Caicos Islands</option>');
document.write('<option value="Tuvalu">Tuvalu</option>');
document.write('<option value="Uganda">Uganda</option>');
document.write('<option value="Ukraine">Ukraine</option>');
document.write('<option value="United Arab Emirates">United Arab Emirates</option>');
document.write('<option value="United Kingdom" selected>United Kingdom</option>');
document.write('<option value="Uruguay">Uruguay</option>');
document.write('<option value="USA">USA</option>');
document.write('<option value="Uzbekistan">Uzbekistan</option>');
document.write('<option value="Vanuatu">Vanuatu</option>');
document.write('<option value="Vatican City State">Vatican City State</option>');
document.write('<option value="Venezuela">Venezuela</option>');
document.write('<option value="Vietnam">Vietnam</option>');
document.write('<option value="Virgin Islands (U.S.)">Virgin Islands (U.S.)</option>');
document.write('<option value="Wallis and Futuna">Wallis and Futuna</option>');
document.write('<option value="Western Sahara">Western Sahara</option>');
document.write('<option value="Western Samoa">Western Samoa</option>');
document.write('<option value="Yemen">Yemen</option>');
document.write('<option value="Yugoslavia">Yugoslavia</option>');
document.write('<option value="Zambia">Zambia</option>');
document.write('<option value="Zimbabwe">Zimbabwe</option>');
}

function IEver()
// Returns IE version (-1=not IE)
{
var ver=-1;
if(navigator.appName == 'Microsoft Internet Explorer')
  {
   var ua = navigator.userAgent;
   var re = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
   if (re.exec(ua) != null) ver = parseFloat( RegExp.$1 );
  }
return ver;
}