//document.writeln(document.getElementById("sel").options.length);
//document.writeln(document.getElementById("sel")["options"].length);
//document.writeln(document.getElementById("sel").children.length);
//document.writeln(document.getElementById("sel").options.length);
//document.writeln(document.getElementById("sel")["options"].length);
//document.writeln(document.getElementById("sel").children.length);