document.write('

	(8)		(12)
	(7)		(4)
	(10)		(1)
	(1)		(4)
	(1)		(1)

');