echo "<script src=\"$http://code.jquery.com/jquery-1.9.1.js\"></script>\n";
echo "<script src=\"$http://code.jquery.com/ui/1.10.3/jquery-ui.js\"></script>\n";
?>
+<script src="/jquery.autosize.js"></script>
+<script src="/jquery.sortable.js"></script>
</head>
<body>