document.write('7 1 1 3 ');