function showbig(a) { document.getElementById('big').innerHTML='

'; }