<!-- // begin
random.m=714025; random.a=4096; random.c=150889;
random.seed = (new Date()).getTime()%random.m;
function random()
{
  random.seed = (random.seed*random.a + random.c) % random.m;
  return random.seed / random.m;
}

function randomizeimage()
{
  /*document.images[img].src = base + Math.round(random() * count) + type;*/
  var count = 22
  var num = Math.round(random() * count)
  document.write("<img src='graphics/portfolio" + num + ".jpg' width='551' height='179' border='0'>");
}
// end hiding -->
