function OpenPics(url, iwidth, iheight){
	window.open(url,"afbeelding","width="+iwidth+",height="+iheight+",left=125,top=100");
}
function get_random()
{
    var ranNum= Math.floor(Math.random()*5);
    return ranNum;
}