document.write('

	(7)		(16)
	(4)		(1)
	(1)		(5)
	(5)		(1)
	(1)

');