//
// utility
//


function padding( n ) {

	pad = "" ;

	for(i = 0; i < n; i++) {
		pad += "&nbsp;"
	}

	document.write(pad);
}


function repeat(str, n) {

	s = "";

	for(i = 0; i < n; i++) {
		s += str;
	}

	return s;
}


function print( str ) {
	document.write(str);	
}


/*
function makeTable(lines) {

}
*/