document.write('

	(7)		(11)
	(20)		(1)
	(14)		(8)
	(1)

');