大家好，我想在页面上有一个textbox，然后通过鼠标的拖动可以改变textbox的边框的大小，请问如何实现，在线等，谢谢。

麻烦高手们给段代码学习学习。
<html>
<body>
<div id="a" style="position:absolute;left:10px;top:10px;width:20px;height:30px;background-color:gray">Drag me or resize me</div>
</body>
</html>
如何改变上述的div的大小。
谢谢。