document.write('5 0 7 1 7 ');