@ -73,7 +73,7 @@
<a href="shell.html" target="shell">shell</a>
</p>
</div>
<div id="shell_03" class="hidden"><iframe name="shell" id="iframe"></iframe></div>
<div id="shell_03" class=""><iframe name="shell" id="iframe" src='blank.html'></iframe></div>
<div id="info"><div id="title"></div><div id="authors"></div>