var outputBuffer = "Hello World!";

function getDiv(ID) {
	return document.getElementById(ID);
}

function getStyle(ID) {
	return document.getElementById(ID).style;
}

function debug(string) {
	document.writeln("DEBUG:> " + string + "<BR>");
}

function debugOut(string) {
	parent.output.document.writeln("DEBUG:> " + string + "<BR>");
}

function writeln(something) {
	document.writeln(something);
}

function write(something) {
	document.write(something);
}

function writeOut(something) {
	outputBuffer += something;
}

function writelnOut(something) {
	outputBuffer += something;
}

function clearOut() {
	outputBuffer = "";
}

function commitOut() {
	parent.output.document.getElementById("body").innerHTML = outputBuffer;
}

function stringToNumArray(string) {
	var temp = new Array();
	for (var i = 0; i < string.length; i++) {
		if (string.charAt(i) == "t")
			temp[i] = 10;
		else if (string.charAt(i) == "e")
			temp[i] = 11;
		else
			temp[i] = string.charCodeAt(i) - 48;
	}
	return temp;
}

function numArrayToString(array) {
	var temp = '';
	for (var i = 0; i < array.length; i++) {
		if ( array[i] == 10 )
			temp += "t";
		else if ( array[i] == 11 )
			temp += "e";
		else if ( array[i] == 12 )
			temp += "0";
		else
			temp += array[i];
	}
	return temp;
}

//use toString() method of arrays for array to string

function copyArray(a, b) {
	for (var i = 0; i < a.length; i++) {
		b[i] = a[i];
	}
}

function displayArray(array) {
	writeln("Array contents:<BR>");
	for (var i = 0; i < array.length; i++) {
		write(array[i] + ' | ')
	}	
	write("<BR>");
}

function fixNegatives(array) {
	for (var i = 0; i < array.length; i++) {
		if (array[i] < 0)
			array[i] += 12;
	}
	return array;
}

function fixNeg(num) {
	if (num < 0)
		return num + 12;
	else
		return num;
}

//fixes interval vector
function fixInt(num) {
	if (num > 6) {
		return (12 - num);
	}
	else {
		return num;
	}
}

function debugBreak() {
	var temp = foobar();
}

function toggleDisplay(string) {
	//alert(getStyle(string).name);
	if (getStyle(string).display == "block")
		getStyle(string).display = "none";
	else
		getStyle(string).display = "block";
	return false;
}