function onTyping( key ) {
   // Look for enter key...
   if ( key == 13 ) {
		return true;
   } return false;
}

function getOption(id) {
    // Return the value of the selected option in given selector
    // Optionally, also delete it
    var selector = document.getElementById(id);
    var selected = selector.selectedIndex;
    if (selected < 0) return null;
    var value = selector.options[selected].value;
    return value;
}