if(document.getElementById(pagina))
  document.getElementById(pagina).className='selezionato'
if(document.getElementById(paginalin))
  document.getElementById(paginalin).src='img_cinema/pix_blu.gif'
  if(document.getElementById(paginamen))
  document.getElementById(paginamen).className='mensel'
if(document.getElementById(paginamens))
  document.getElementById(paginamens).src='img_cinema/pix_blu.gif'
  
function openfilm()
{
window.open("","openfilm","toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=no,resizable=no,copyhistory=yes,width=394,height=580")
}