var naam = "info"
var host = "virro"
var ext = ".nl"
document.write("  <A CLASS=\"fl\" HREF=\"contact.html\">virro - virtueel rondkijken</A>  ");
document.write("  &nbsp; : &nbsp;   ");
document.write("  <A CLASS=\"fl\" HREF=\"mailto:" + naam + "@" + host + ext + "\">" + naam + "@" + host + ext + "</A>  ");
document.write("  &nbsp; : &nbsp;  0318-438880  ");