document.write('

	(8)		(15)
	(13)		(8)
	(1)		(1)
	(1)		(1)

');