// JavaScript Document

 function opera()
 
   { if (document.getElementById('opera').src='acasa.html')
    { document.getElementById('opera').width="530" }  
     else
	  { document.getElementById('opera').width="770" } ; 
   }