function $() {
	var elements = new Array();
	for (var i = 0; i < arguments.length; i++) {
		var element = arguments[i];
		if (typeof element == 'string')
			element = document.getElementById(element);
		if (arguments.length == 1)
			return element;
		elements.push(element);
	}
	return elements;
}

var prmpt_name = 'guest@tuxel$>'

function prmpt_ln(obj,idNum) {
 idNum++
 
 br = document.createElement('br')

 label = document.createElement('label')
 textLabel = document.createTextNode(prmpt_name)
 label.appendChild(textLabel)

 input =  document.createElement('input')
 input.id = "cmd-" + String(idNum)
 input.className = "bash-input"
 input.onkeyup = "prmpt_ln(this)"
 
 label.appendChild(input)
 obj.parentNode.appendChild(br)
 obj.parentNode.appendChild(label)

 document.getElementById("cmd-" + String(idNum)).focus()
}

Array.prototype.in_array = function (el) {
	if (this.length == 0)
		return -1
	for (i = 0; i < this.length; i++)
		if (this[i] == el)
			return i
	return -1
}