document.write('

	(7)		(12)
	(16)		(19)
	(3)		(2)

');