// JavaScript Document

var ide = sh;
function sh(url)
{
ide = window.open(url,'sh','toolbar=0,status=0,directories=0,scrollbars=0,resizable=0,menubar=0,location=0,width=10,height=10');
}