//document.writeln(document.getElementById("sel").options.length);
//document.writeln(document.getElementById("sel")["options"].length);
//document.writeln(document.getElementById("sel").children.length);
原文：http://www.cnblogs.com/yangjinwang/p/4015973.html