function menu(num)
{
 if(document.getElementById('menu'+num).style.display=='') document.getElementById('menu'+num).style.display='none'; else document.getElementById('menu'+num).style.display='';
}

function change_image(file)
{
 document.getElementById('bigimage').innerHTML='<a href="/gethumb.php?src='+file+'&w=800&h=600" rel="lightbox[pics]"><img id="bigimage" src="/gethumb.php?src='+file+'&w=320&h=240&crop" width="320" height="240" /></a>';
}