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