function venster(url,breedte,hoogte)
{
var v = '<html><head><title>' + url + '</title><link rel="stylesheet" href="style.css" /></head><body><object data="svg/' + url + '" width="' + breedte + '" height="' + hoogte + '" type="image/svg+xml"></object><br /><a href="svg/' + url + '" target="_blank">' + url + '</a></body></html>';
var ven = open("","","height=" + (hoogte+40) + ",width=" + (breedte+20) + ",dialog=true");
ven.document.write(v);
ven.document.close();
}
