document.write('

	(7)		(1)
	(1)		(1)
	(3)		(15)
	(1)		(5)
	(1)		(2)

');