var nr;

function bsize(i) {
  i=i*screen.width/1024;return (i)
}

function resize() {
  for (nr=0; nr<document.images.length;nr++)
    {document.images[nr].width=bsize(document.images[nr].width);
    document.images[nr].height=bsize(document.images[nr].height)}
}

function lookup(x)  {
  if(screen.width<1000) 
     {document.write('<link href='+x+'800.css'+' type=text/css rel=stylesheet>')}

}

function scale(x) {
  for (nr=0; nr<document.images.length;nr++)
    {document.images[nr].width=x*document.images[nr].width;
    document.images[nr].height=x*document.images[nr].height};
}

function schrift() {
  document.body.style.fontSize=12;
}