document.write('

	(42)		(12)
	(1)		(3)
	(1)		(5)
	(7)		(1)
	(1)		(1)

');