function make_girl() {
  idx=13+Math.floor(Math.random()*37);
  if (document.images) document.images['girl'].src='images/model_'+idx+'.jpg';
 }