var pics = 12;
var count = pics + 2;
pics_flag = Math.round(Math.random() * count);
while (pics_flag < 1 || pics_flag == count) { pics_flag = Math.round(Math.random() * count); };
pics_flag = pics_flag - 1;
var pics_tag;
if (pics_flag == 0) { pics_tag = 'pic1' };
if (pics_flag == 1) { pics_tag = 'pic2' };
if (pics_flag == 2) { pics_tag = 'pic3' };
if (pics_flag == 3) { pics_tag = 'pic4' };
if (pics_flag == 4) { pics_tag = 'pic5' };
if (pics_flag == 5) { pics_tag = 'pic6' };
if (pics_flag == 6) { pics_tag = 'pic7' };
if (pics_flag == 7) { pics_tag = 'pic8' };
if (pics_flag == 8) { pics_tag = 'pic9' };
if (pics_flag == 9) { pics_tag = 'pic10' };
if (pics_flag == 10) { pics_tag = 'pic11' };
if (pics_flag == 11) { pics_tag = 'pic12' };
if (pics_flag == 12) { pics_tag = 'pic13' };

target = '_top';
//end of configuration
rn = '001234567890'; rns = '1234567890';
rn = new String (Math.random()); rns = rn.substring (2, 11);
function NORMAL(pos) {
  document.write('.');
}