var random = Math.random() ;
var picnum = Math.round(random*8)+1;
var picnumhal = Math.round(random*10)+1;
function vs(a,b,c)
{
 window.open(a,b,c);
}
function doPrint(a,b,c)
{
 window.open(a,b,c);
}
