// JavaScript Document
var buttons = $$( ".tvprogramcontainer" );
	var numberbuttons = buttons.length;
	
	document.write('<div id="carouselnav">');
	for (var i=1;i<=numberbuttons;i++)
	{
	document.write('<div class="button">' + i + '</div>');
	}
	document.write('</div>');